编译原理第三章

重要部分：
1，确定有限自动机DFA ，M ( 下一状态确定)五元式
状态集，输入字符集，部分映射，初态（一个），终态集（可空）----（状态转换图）
2，非确定有限自动机NFA ，M ( 下一状态不确定)五元式
状态集，输入字符集（ε,..），部分映射(0,多个，非单值)，初态（可由多个），终态集（可空）
3，NFA--》DFA 确定化，化简
两个正规集相等的必要条件是他们对应的正规式等价。
对任何正则表达式 e, 都存在一个 DFA M, 满足 L(G)=L(e)

例题知识

一个子集是正规的，当且仅当它可由NFA所识别

NFA的区别

1弧上标记的ε字

2同状态射出多条

3DFA是NFA的特例

确定化，转换，

q€I,那么CLOSURE（I）=从q出发经任意连续条ε而到达的任意状态Q，包括q

Ia=CLOSURE(J) ,J=I中任意状态出发经过一条a弧到达的所以状态结点

初态X开始

含有Y的所有子集都为终态

化简：
1，终态和非终态区分
2， I,Ia,Ib
3,不等价---》可区分

等价==s到终态经过的字 ==t到终态经过的字

对句子进行画图
先有初态，终态