【考法分析】

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

【要点分析】

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、掌握常见的正规式表示含义。