编译原理实验6正规式NFA确定化和最小化等.docVIP

第六周作业 第一题： (1)构造一个正规式，它接受(={a，b}上所有包含ab的字符串。构造一个正规式，它接受(={a，b}上所有ab结尾字符串。构造一个正规式，它接受(={a，b}上的字符串 0 1 q0 q1 q2 q1 q1 q2 q2 q3 q4 q3 q1 q2 q4 q3 q4 π:{q0,q2,q4}、{q1、q3}; {q0,q2,q4}0={q1,q3}; {q0,q2,q4}1={q2,q4},属于{q0,q2,q4}； {q1,q3}0={q1},属于{q1,q3}; {q1,q3}1={q2,q4},属于{q0,q2,q4}. 0 1 q0 q1 q0 q1 q1 q0 第三题：请说明lex是如何自动构造词法分析程序的，在其自动构造的各个阶段分别应用了课本上的哪个知识点（必须具体到书本上哪一页的哪个算法或概念）。 答： 83页3.5.2 ： Lex 系统的翻译程序对lex 源程序进行处理，生成名为lex.yy.c 的C语言程序文件 。最后用C编译程序对lex.yy.c 进行编译，并将支持扫描器运行的有关库函数连入目标码程序，便得到了想要的此法分析程序。 首先，自动构造此法分析器得从lex 源程序的正规式出发， 逐步构造能够识别这些正则式所定义的单词列的最小确定有限自动机。 它包括正规表达式正规集等概念及有限自动机化、确定化和最小化三个算法。 72页3.4.1：正规表达式与正规集的定义； 59页3.3有限自动机、确定的有限自动机及60页非确定的有限自动机。 66页3.3.5具有ε动作的NFA的确定化——子集法。 69页DFA状态数的最小化。