【考法分析】

本考点的主要考查形式有：给出正规式指出符合要求的字符串；或给出一些相关的描述判断其正误；或结合有限自动机考查。

【要点分析】

1、正规式是描述程序语言单词的表达式，对于字母∑，其上的正规式及其表示的正规集可以递归定义如下。

① ε是一个正规式，它表示集合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)。

仅由有限次地使用上述三个步骤定义的表达式才是∑上的正规式。由此可见，正规式要么为空，要么由字母、或、连接、闭包运算符组成。其中闭包运算符“*”具有较高的优先级，连接运算具有次高优先级，或运算符“|”具有最低优先级。

2、常见正规式的含义：

【备考点拨】

1、掌握正规式相关的概念；

2、掌握常见的正规式表示含义。