重要部分:
1,确定有限自动机DFA ,M ( 下一状态确定)五元式
状态集,输入字符集,部分映射,初态(一个),终态集(可空)----(状态转换图)
2,非确定有限自动机NFA ,M ( 下一状态不确定)五元式
状态集,输入字符集(ε,..),部分映射(0,多个,非单值),初态(可由多个),终态集(可空)
3,NFA--》DFA 确定化,化简
两个正规集相等的必要条件是他们对应的正规式等价。
对任何正则表达式 e, 都存在一个 DFA M, 满足 L(G)=L(e)
![](https://i-blog.csdnimg.cn/blog_migrate/56abb827d4d4ed79815172c3b5c07400.png)
例题知识
一个子集是正规的,当且仅当它可由NFA所识别
NFA的区别
1弧上标记的ε字
2同状态射出多条
3DFA是NFA的特例
确定化,转换,
q€I,那么CLOSURE(I)=从q出发经任意连续条ε而到达的任意状态Q,包括q
Ia=CLOSURE(J) ,J=I中任意状态出发经过一条a弧到达的所以状态结点
初态X开始
含有Y的所有子集都为终态
![](https://i-blog.csdnimg.cn/blog_migrate/d1b8b4583f52fd70519641b28edb6837.png)
化简:
1,终态和非终态区分
2, I,Ia,Ib
3,不等价---》可区分
等价==s到终态经过的字 ==t到终态经过的字
![](https://i-blog.csdnimg.cn/blog_migrate/091f589669460ed5bc330df6cf752796.png)
对句子进行画图
先有初态,终态
![](https://i-blog.csdnimg.cn/blog_migrate/d54983d8b0335c911d557ded968d9340.png)
![](https://i-blog.csdnimg.cn/blog_migrate/cb7c1f4b9da8d0ac1a642944323728e0.png)
![](https://i-blog.csdnimg.cn/blog_migrate/1c4544beb4130e797bf60d0879a323a1.png)