第六讲词法4材料.pptVIP

第2章 词法分析 2.4 正规表达式到有限自动机的构造 2.5 词法分析器的自动生成 2.4.4 正规表达式到有限自动机构造示例 例2.10 试用DFA的等价性证明正规表达式(a∣b)*与(a*b*)*等价。 [解答] (1) 正规表达式(a∣b)*对应的NFA如图2–18所示。 用子集法将图2–18的NFA确定化得到如表2.7所列的转换表，重新命名后得到如表2.8所列的状态转换矩阵。 由于状态0和状态1均为终态，故无论输入什么字符，其下一状态仍是终态，故最简DFA如图2–19所示。 (2) 正规表达式(a*b*)*对应的NFA如图2–20所示。 用子集法将图2–20的NFA确定化得到如表2.9所列的转换表，重新命名得到如表2.10所列的状态转换矩阵。 例2.11 C语言可接受的合法的文件名为device:name.extension，其中第一部分（device:）和第三部分(.extension)可缺省。若device、name和extension都是字母串，长度不限，但至少为1，试画出识别这种文件名的DFA M。 [解答] 以字母“c”代表字母，则所求正规式为 (cc*: ∣ε)cc*(.cc*∣ε)