
正规式是一种表示正规集的工具,正地镇革范规式是描述程序语言单词的表达式,对于字母表∑。
- 中文名称 正规式
- 外文名称 regular expression
- 释义 一种表示正规集的工具
- r|s是正规式 表示集合L(r)∪L(s);
- r·s是正规式 ,表示集合L(r)L(s);
简介
其来自上的正规式及其表示的正规集可以递归定义如下。
① ε是一个正规式,它360百科表示集合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)。
仅由有限次地使用上述三个步骤定义的表达式才是∑上的正规式。
运算符"|"、"·"、"*"分别称雨静为"或"、"连接"和"闭包"。护特班放展审吗走团动同在正规式的书写中,连接运械致算符"·"可省略。运算符的优先级从高到怎言级试念振低顺序排列为:"*"、"·"、"|"。
运算符"|"表示"或"、并集。"*"表示*之前括号里的故盟担空径内容出现0次或多次。
识不 若两个正规式表示的正规集相同,则认为二者等价。两个等价的正规集U和V记作U=V。
例如
b(ab)*=(ba)*b,(a|b)*=另走九写什流脸名延春善(a*b*)*
需要注意的是,编译原理里面的正规式叫做范式,和正则表达式不是一个概念,但是有相通之处:都是通过一定的语法规则来已描述文法,也就是所谓的匹配。