文法去除空产生式_第6789章 作业及参考答案

第6章P231:

1、构造产生下列语言的CFG

(2) {1n02m1n |n,m≥1}

解：需保证1的个数相等且0的个数为偶数

S→1S1|1A1

A→00A｜00

(4)含有相同个数的0和1的所有0、1串

S→0AS｜1BS｜ε

A→1|0AA

B→0|1BB

错解1: S→10S｜01S｜10｜01｜ε

错解2: S→1S0｜0S1｜1A0｜0A1, A→10｜01｜ε(推不出0110)

错解3: S→10S｜1S0｜S10｜01S｜0S1｜S01｜ε(推不出00111100) 讨论: 不能限制0和1必须在同一次推导中都出现

15、构造与下列文法(原题中去ε产生式后的文法)等价的CNF

S→a|b|aB|aBB|bA|bAA

B→aa|aB|Ba|aBa

A→bb|bbA

解：第一步

S→a|b|B a B|B a BB|B b A|B b AA

B→B a B a|B a B|BB a|B a BB a

A→B b B b|B b B b A

B a→a

B b→b 第二步

S→a|b|B a B|B a B1|B b A|B b A1 B→B a B a|B a B|BB a|B a B2

A→B b B b|B b B3

B a→a

B b→b

B1→BB

A1→AA

B2→BB a

B3→B b A

讨论: 这种题需要将步骤写清, 意义在于机械化这种事情是我们的目标, 你不必加入太多自己的智慧.

Ba和B a的区别？

第7章P257:

1、构造识别下列语言的PDA

(2) L = {1n02m1n|n,m≥1}

要求

●用两种方法做

●用七元组表示

●用推广的状态转换图表示

解法1：先构造产生该语言的GNF文法，再由文法推导的启示或依定理7-3的构造方法，设计出PDA

构造出产生该语言的CFG

S→1S1|1B1