正规式是一种表示正规集的工具，正规式是描述程序语言单词的表达式，对于字母表∑。
正规式及其表示的正规集可以递归定义如下。
①ε是一个正规式，它表示集合L（ε）={ε}。
②若a是∑上的字符，则a是一个正规式，它所表示的正规集L（a）={a}。
③若正规式r和s分别表示正规集L（r）、L（s），则
（a）r|s是正规式，表示集合L（r）∪L（s）；
（b）r·s是正规式，表示集合L（r）L（s）；
（c）r*是正规式，表示集合（L（r））*；
（d）（r）是正规式，表示集合L（r）。
仅由有限次地使用上述三个步骤定义的表达式才是∑上的正规式。