1. 先验常识
设∑为无限字母表,在∑上的正规式与正规集可递归定义如下:
- ε和Ф是∑上的正规式,它们示意的正规集别离为{ε}和Ф;
- 对任何a∈∑, a是∑上的正规式,它的正规集为{a};
- 若 r,s 都是正规式 , 它们的正规集别离为R和S , 则(r|s)、(r·s)、(r)*也是正规式,它们别离示意的正规集是:R∪S,RS,R*。
此处重点为
- 正规式ε示意的正规集为{ε}
- 正规式Ф示意的正规集为Ф
- 正规式(r|s)示意的正规集为R∪S
- 正规式(r·s)示意的正规集为RS
- 正规式(r)*示意的正规集为R*
其中 正规集RS应用的是汇合的乘积运算,定义如下:
因而, 下文特例中正规式运算将用正规集运算, 形象化解释
2. 注释
- ε·A
汇合运算为{ε}A=A
因而ε·A=A - Ø·A
汇合运算为ØA=Ø
因而Ø·A=Ø -
ε|A
汇合运算为{ε}∪A
设A={a1,a2,a3…}- 若a1,a2,a3…≠ε, {ε}∪A={ε,a1,a2,a3…}
- 若a1=ε, {ε}∪A={a1,a2,a3…}
因而ε|A后果为正规式A’, 正规式A’的正规集为{ε}∪A
- Ø|A
汇合运算为Ø∪A=A
因而Ø|A=A
发表回复