形式语言与自动机课后习题答案.docxVIP

形式语言与自动机课后作业答案 第二章 找出右线性文法，能构成长度为1至5个字符且以字母为首的字符串。 答：G=｛N,T,P,S｝ 其中N=｛S,AZBZC,D｝ T=｛x,y｝其中xW ｛所有字母｝ y丘｛所有的字符｝ P如下: S—x S—xA A—y A-^yB B—y B—yC C_y C—yD D—y 构造上下文无关文法能够产生 L={ 3 / 3 w {a,b}*且3中q的个数是b的两倍} 答：G={NZT,P,S} 其中 N={S} T={a,b} P 如下： S-*aab S~ aba S~ baa S—aabS S-*aaSb S-*aSab S-*Saab S-*abaS S-^abSa S-*aSba S-*Saba S—baaS S—baSa S—bSaa Sbaa 找出由下列各组生成式产生的语言(起始符为S) S-*SaS S-* b S-*aSb S-*c S-*a S—aE E-^aS 答：(1) b(ab)n/n$O}或者 L={(ba)nb/n^O} L={ancbn/n^O} L={a^+1 /n^O} 第三章 1.下列集合是否为正则集，若是正则集写出其正则式。 含有偶数个a和奇数个b的｛a,b｝*上的字符串集合 含有相同个数a和b的字符串集合 不含子串aba的｛a,叶上的字符串集合 答：(1)是正则集，自动机如下 不是正则集，用泵浦引理可以证明，具体见17题(2) o 是正则集 先看Lz为包含子串aba的{a,bf上的字符串集合 显然这是正则集，可以写出表达式和画出自动机。(略) 则不包含子串aba的{a,b}*上的字符串集合L是L/的非。 根据正则集的性质，L也是正则集。 对下列文法的生成式，找出其正则式 G=({S,A/B/C/D}/{a,b,c,d},P/S),生成式 P 如下： S-aA S-B A-abS A-bB B-b B-*cC C-D D-bB D-d G=({S,A,B,C,D}z{a,b,c/d}zP,S),生成式 P 如下： S-aA S-B A—cC A-*bB B—b B B-a C-D C-abB D-d 答：(1)由生成式得： S=aA+B ① A=abS+bB ② B=b+cC ③ C=D④ D=d+bB ⑤ ③④⑤式化简消去CD,得到B二b+c(d+bB) II卩 B=cbB+cd+b =B=(cb)*(cd+b)⑥ 将②⑥代入① S=aabS+ab(cb)*(cd+b) + (cb)*(cd+b) =S=(aab)*(ab+ ￡ )(cb)*(cd+b) (2)由生成式得： S=aA+B ① A=bB+cC ② B=a+bB ③ C=D+abB ④ D=dB ⑤ 由③得B=b*a⑥ 将⑤⑥代入④C=d+abb*a=d+aba⑦ 将⑥⑦代入②A=b，a+c(d+b，a)⑧ 将⑥⑧代入① S=a(ba+c(d+aba))+b*a 二 ab a+acd+acaba+b*a 为下列正则集，构造右线性文法： (2)以abb结尾的由a和b组成的所有字符串的集合 以b为首后跟若干个a的字符串的集合 含有两个相继a和两个相继b的由a和b组成的所有字符串集合 答：(1)右线性文法 G=({S},{azb},P,S) P: S-aS S-bS S- ￡ 右线性文法 G=({S},{a,b},P,S) P:S-aS S-bS S-abb 此正则集为{ba*} 右线性文法 G=({S/A},{a,b},P/S) P: S~bA A-*aA A— ￡ 此正则集为{{azb}*aa{a,b}*bb{a,b}*z {a,b}*bb{a,b}*aa{a,b}*} 右线性文法 G=({S/A,BzC},{azb}zP,S) P: S-aS/bS/aaA/bbB A—aA / bA / bbC B-aB/bB/aaC C-aC/bC/ ￡ 7.设正则集为a(ba)* 构造右线性文法 找岀(1)中文法的有限自动机 答：(1)右线性文法 G=({S,A}z{azb},P/S) P: S-^aA A—bS A— ￡ (2)自动机如下： “ -_ ?、 a , - _ ?、 〔——b——号丿 (p2是终蕴决态) 9?对应图(a) (b)的状态转换图写出正则式。(图略) (1) 由图可知 qo=aqo+bqi+a+ ￡ qi=aq2+bqi qo=aqo+bqi+a =qi=abqi+bqi+aaqo+aa =(b+ab) qi+aaqo+aa =(b+ab) *( aaqo+aa) =qo=aqo+b(b+ab) *( aaqo+aa ) +a+ ￡ =q()(a+b (b+ab) *aa)+ b(b+ab) *aa+a+ ￡ =(a+b (b+ab) *aa) *((b+ab) *aa+a+ ￡