《自动机理论、语言和计算导论》课后习题答案 .pdfVIP

《自动机理论、语言和计算导论》课后习题答案

（部分）

@LIANGJIABIN

Ex.5.1.1(b)设计下列语言的上下文无关文法：

ᵅᵅᵅ

ᵄᵅ|i≠j或j≠k}，即所有满足下列性质的集合：若干个ᵄ后面跟着若干个b，

b)集合{ᵄ

若干个b后面跟着若干个c，并且或者a和b的数目不同，或者b和c的数目不同，或者两

者数目都不同。

解：

1.ᵇ→ᵇᵆ|ᵆᵈ

2.ᵇ→ᵇ|ᵇ

||

3.ᵇ→ᵈᵇᵈᵈᵇᵈ

||

4.ᵇ→ᵈᵇᵈᵇᵈᵈ

5.ᵆ→ᵈᵆ|ᵳ

6.ᵈ→ᵇ|ᵇ

||

7.ᵇ→ᵈᵇᵈᵈᵇᵈ

||

8.ᵇ→ᵈᵇᵈᵇᵈᵈ

9.ᵆ→ᵈᵆ|ᵳ

∗()∗

Ex.5.1.2(c)下面文法产生了正则表达式010+1的语言：

ᵄ→ᵃ1ᵃ

ᵃ→0ᵃ|ᵰ

||

ᵃ→0ᵃ1ᵃᵰ

试给出下列串的最左推导和最后推导。

c)00011。

解：

最左推导：

ᵄ⇒ᵃ1ᵃ⇒0ᵃ1ᵃ⇒00ᵃ1ᵃ⇒000ᵃ1ᵃ⇒0001ᵃ⇒00011ᵃ⇒00011

ᵅᵅᵅᵅᵅᵅᵅᵅᵅᵅᵅᵅᵅᵅ

1/19

@JB

最右推导：

ᵄ⇒ᵃ1ᵃ⇒ᵃ11ᵃ⇒ᵃ11⇒0ᵃ11⇒00ᵃ11⇒000ᵃ11⇒00011

ᵅᵅᵅᵅᵅᵅᵅᵅᵅᵅᵅᵅᵅᵅ

()

Ex.5.1.5设ᵄ={0,1,,,+,∗,ᵱ,ᵅ}，可以把ᵄ看做字母表{0,1}的正则表达式所使用的字母

表集合，惟一不同的是用ᵅ来表示符号ᵰ，目的是为了避免有可能出现的潜在的混淆，你的任务

是以ᵄ为终结符号来设计一个CFG，该CFG生成的语言恰好是字母表为{0,1}的正则表达式。

解：

|∗||()|||

ᵄ→ᵄ+ᵄᵄᵄᵄᵄ01ᵯ|ᵅ

Ex.5.2.1对于习题5.1.2中的文法和每个串，给出相应的语法分析树。

解：

1）00101

2）1001

2/19

@JB

2）00011

Ex.5.4.7(a)下面的文法生成的是具有x和y操作数、二元运算符+、-和*的前缀表达式：

||||