有穷自动机到正规文法的转换b.pptVIP

由此可知, 只要构造出识别语言单词符号的有穷自动机, 就很容易构造出识别语言单词符号的词法分析程序。 3.6 词法分析程序的编写方法 习题 第三章 3.1(1) , (3)/3.3/3.5/3.11/3.12 本章小结 本章重点介绍了词法分析程序的设计思想和构造方法。主要内容有： 1. 词法分析程序的功能是从左到右扫描源程序字符串，根据语言的词法规则识别出各类单词符号。 输出单词符号的形式是二元组: （单词种别，单词自身值） 本章小结 例如定义“标识符”单词的正规式是 l (l | d)* 正规文法是 ＜标识符＞→ l |＜标识符＞l | ＜标识符＞d 2．程序语言单词符号的两种定义方式 正规文法 正规式 本章小结 3．有穷自动机有确定的和非确定两大类： NFA N = (Q , Σ , f , S , Z )其中f是多值映射函数，S为非空初态集。 有穷自动机通常表示为状态转换图，它是有穷自动机的非形式化描述。 DFA M = (Q , Σ , f , S , Z )其中是f单值映射函数，S是唯一初态 本章小结 从单词两种定义方式中构造词法分析程序的过程是： 正规式 正规文法 NFA 分裂法 转换规则 子集法 DFA 分划法 状态 最小化 DFA 词法 分析 程序 4．正规式、正规文法和有穷自动机三者都是描述正规集的工具, 它们的描述能力是等价的，它们之间可相互转换。 5．证明两正规式是等价的,如果它们的最小状态DFA是相同的。也可以利用正规式的基本等价关系将一个正规式化简来证明两正规式之间的等价性或两正规式识别的语言一样。 本章小结 本章小结 例1 构造正规式R=1(0|1)*101的状态最小化的DFA 分析 首先对R采用分裂法构造NFA，见下图: Y 5 4 3 2 1 X 1 1 1 0 1 0 ε ε 对NFA采用子集法构造其等价的DFA的状态转换矩阵,见右表 A F B C D E 字符 状态 0 1 {X} {1,2,3} {2,3,4} {2,3,5} {2,3,4,Y} {2,3} Φ {2,3} {1,2,3} {2,3,4} {2,3} {2,3,4} {2,3,5} {2,3,4} {2,3} {2,3,4,Y} {2,3,5} {2,3,4} Y 5 4 3 2 1 X 1 1 1 0 1 0 ε ε 本章小结 对DFA采用分划的方法化简，得到状态最小化的DFA，见下图 : A B C D E 字符 状态 0 1 {X} {1,2,3} {2,3,4} {2,3,5} {2,3,4,Y} {2,3} Φ {2,3}B {1,2,3} {2,3,4}C {2,3}B {2,3,4}C {2,3,5}D {2,3,4}C {2,3}B {2,3,4,Y}E {2,3,5}D {2,3,4}C E D C B A 1 1 0 1 0 0 1 1 0 S→0A | 1B A→1S | 1 B→0S | 0 分析 根据正规文法转换成正规式的方法，首先给出该 正规文法对应的正规式方程组： S=0A+1B (1) A=1S+1 (2) B=0S+0 (3) 将(2)、(3)代入(1)得 S=01S+01+10S+10 (4) 对(4)使用求解规则得 S=(01|10)(01|10)＊ 即正规文法所生成语言的正规式是(01|10)(01|10)＊。 例2. 给出下述文法所对应的正规式： (略) 例3 将右图确定化和最小化。 图示是一个无ε 边转移的NFA,采用子集法将NFA确定化为DFA 采用分化方法将DFA化简 本章小结 字符 状态 a b {0} {1} {0,1} {0,1} {1} {1} {0,1} {0} Φ 0 1 a b a 0 1 a,b a a 3.4.5 DFA的化简 1. DFA的化简 所谓一个DFA M 的化简是指寻找一个状态数比 M 少的 DFA M ，使得 L(M)=L(M) (1) 没有多余状态 化简了的DFA满足两个条件: (2) 它的状态集中没有两个状态是 互相等价的 所谓有穷自动机的多余状态是指从该自动机的开始状态出发，任何输入串也不能到达的状态 3.4.5