形式语言与自动机 第四章 课后题答案

考点：文法⇒推导树

解：（1）

（2）

（3）

考点：文法⇒最左/右推导

解：最左推导：$E{\Rightarrow }_{lm}E+T{\Rightarrow }_{lm}T+T{\Rightarrow }_{lm}F+T{\Rightarrow }_{lm}b+T{\Rightarrow }_{lm}b+T/F{\Rightarrow }_{lm}b+F/F{\Rightarrow }_{lm}b+b/F{\Rightarrow }_{lm}b+b/b$

最右推导：$E{\Rightarrow }_{rm}E+T{\Rightarrow }_{rm}E+T/F{\Rightarrow }_{rm}E+T/b{\Rightarrow }_{rm}E+F/b{\Rightarrow }_{rm}E+b/b{\Rightarrow }_{rm}T+b/b{\Rightarrow }_{rm}F+b/b{\Rightarrow }_{rm}b+b/b$

考点：文法二义性证明
解：画出语言 $aaaba$ 的2颗推导树如下：


同一文法可画出2个不同的推导树，因此该文法具有二义性。

考点：语言⇒上下文无关文法（设计上下文无关文法）

解：（1）考虑在产生相同数目的0,1后，再生成多余的1.
G = ( { S } , { 0 , 1 } , P , S ) G=(\{S\},\{0,1\},P,S) G=({ S},{ 0,1},P,S)，其中P为：$S\to 1S0|1S|10$

（2）考虑将0和1的部分拆开： G = ( { S , A } , { 0 , 1 } , P , S ) G=(\{S,A\},\{0,1\},P,S) G=({ S,A},{ 0,1},P,S)，其中P为：
$S\to 1A1|1S1$
$A\to 00A|00$（服务 $0^{2m}$）

（3）考虑将语言拆为2部分： G = ( { S , A , B } , { 0 , 1 } , P , S ) G=(\{S,A,B\},\{0,1\},P,S) G=({ S,A,B},{ 0,1},P,S)，其中P为：
$S\to AB$（拆为2部分）
$A\to 1A0|10$
$B\to 1B0|10$

考点：消除无用符号

解：（1）首先使用算法1，得到非生成符号C，删去C及其生成式有：
$$S\to ED$$

$$D\to a$$

$$E\to b$$

使用算法2，发现没有不可达符号，因此等价文法为： G = ( { S , D , E } , { a , b } , P , S ) G=(\{S,D,E\},\{a,b\},P,S) G=({ S,D,E},{ a,b},P,S)，其中P：
$$S\to ED$$

$$D\to a$$

$$E\to b$$

（2）首先使用算法1，得到非生成符号C，删去C及其生成式有：
$$S\to D$$

$$D\to bS|b$$

$$E\to DS|b$$

使用算法2，发现不可达符号E，删去E及其生成式。因此等价文法为： G = ( { S , D } . { b } , P , S ) G=(\{S,D\}.\{b\},P,S) G=({ S,D}.{ b},P,S)，其中P：
$$S\to D$$

$$D\to bS|b$$

考点：消空产生式

解：根据算法得，可得致空符号有：$D、E、C、S$，$S$ 也为致空符号，因此加入 $S_1\to S|\epsilon$，对于 $S\to DCE$ 有：$S\to DCE|CE|DE|$