练习参考答案第 1题
(1)允许 0开头的偶正整数集合的文法
E->NT|D
T->NT|D
N->D|1|3|5|7|9
D->0|2|4|6|8
(2)不允许 0开头的偶正整数集合的文法
E->NT|D
T->FT|G
N->D|1|3|5|7|9
D->2|4|6|8
F->N|0
G->D|0
练习参考答案第 2题可 为句子 a+a*a构造两个不同的最右推导,
最右推导 1 〈表达式〉?〈表达式〉〈运算符〉〈表达式〉
〈表达式〉〈运算符〉 a
〈 表达式〉 * a
〈 表达式〉〈运算符〉〈表达式〉 * a
〈 表达式〉〈运算符〉 a * a
〈 表达式〉 + a * a
a + a * a
最右推导 2 〈表达式〉?〈表达式〉〈运算符〉〈表达式〉
〈表达式〉〈运算符〉〈表达式〉〈运算符〉〈表达式〉
〈表达式〉〈运算符〉〈表达式〉〈运算符〉 a
〈 表达式〉〈运算符〉〈表达式〉 * a
〈 表达式〉〈运算符〉 a * a
〈 表达式〉 + a * a
a + a * a
练习参考答案第 3题,G[E]为,
E->E+T|E-T
T->T*F|T/F|F
F->(E)|I
因为存在推导序列,E? E+T? E + T * F 所以
E+T*F句型句型 E+T*F的短语有,E+T*F,T*F
直接短语有,T*F
句柄为,T*F
练习参考答案第 4题
（ 1） { anbnambm| n,m>=0} (2) { 1n0m 1m0n| n,m>=0}
S->AA S->1S0|A
A->aAb|ε A->0A1|ε
第 5题，
(1){ anbm|n,m>=1 }的三型文法为：
S->aA
A->aA|B
B->bB|b
(2){anbmck|n,m,k>=0 }的三型文法为,
A->aA|B
B->bB|C
C->cC|ε
第 6题
R = (01 | 10) ( 01 | 10 )*