【考法分析】
本考点的主要考查形式有:给出正规式指出符合要求的字符串;或给出一些相关的描述判断其正误;或结合有限自动机考查。
【要点分析】
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、掌握常见的正规式表示含义。