第四章课外训练答案.pdfVIP

1 写出能被5 整除的十进制整数的文法及正规表达式。 正规文法：左线性文法为： S-A0|A5|0|5 A-A0|A1|A2|A3|A4|A5|A6|A7|A8|A9|1|2|3|4|5|6|7|8|9 * 正规表达式为：(1|2|3|4|5|6|7|8|9)(0|1|2|3|4|5|6|7|8|9) (0|5)|(0|5) 2 写一个文法，使其语言是奇数集，且每个奇数不以0 开头。 S-ABC|C C-1|3|5|7|9 A-C|2|4|6|8 B-0|A|ε 3：已知有限自动机如图 (1)以上状态转换图表示的语言有什么特征？ 符号串含有连续的两个1 (2)写出其正规式与正规文法. * * 正规式为：（0|1） 11 （0|1） (3)构造识别该语言的确定有限自动机DFA. 确定化为： 0 1 {A}q0 {A} {A,B} {A,B}q1 {A} {A,B,C} {A,B,C}q2 {A,C} {A,B,C} {A,C}q3 {A,C} {A,B,C} 终态有：q2,q3 状态转换图为：略 * * 4 请构造与正规式R=(a*b) ba(a|b) 等价的状态最少的DFA （确定有限自动机） 根据正规式所构造的NFA 为： b b a a,b 1 4 1 2 3 a ε 确定化 a b {1}q0 {1} {1,2} {1,2}q1 {1} {1,2,3} {1,2,3}q2 {1,4} {1,2,3} {1,4}q3 {1,4} {1,2,4} {1,2, 4}q4 {1,4} {1,2,3,4} {1,2,3,4}q5 {1,4} {1,2,3,4} 其中q3,q4,q5 是终态 最小化： 将状态划分为终态集和非终态集{q0.q1.q2}{q3，q4,q5} 输入a f(q0,a)=q0 ∈{ q0,q1,q2}f(q1，a）=q0 ∈{ q0,q1,q2} f(q2,a)=q3∈{q3,q4,q5} q2与q0,q1 输入a 到达的状态属于不同集合,，所以进一步划 分为：{q0,q1}{q2} f(q0,b)=q1 ∈{ q0,q1 }f(q1，b）=q2 ∈{q2},q0,q1输入b 到达的状态属于不同集合,进 一步划分为：{q0}{q1} f(q3,a)=q2∈{q2}f(q4,a)=q2∈{q2}f(q5,a)=q2∈{q2} 输入a 到达的状态属于相同集合； f(q3,b)=q4∈{ q3,q4,q5} f(q4,b)=q5 ∈{ q3,q4,q5} f(q5,b)=q5∈{ q3,q4,q5}输入b 到 达的状态属于相同集合；q3,q4,q5 是等价状态 最终划分为：{q0}{q1}{q2}{q3.q4,q5} 最小化的状态转换矩阵为：