1.已知文法:blog
S->a|^|(T)语法
T->T,S|S方法
分析句型(T,(^,a)),求所有的短语、直接短语和句柄。im
答:根据题意画出语法树以下所示:img
所有短语:(T, (^, a)) T, (^, a) (^, a) ^,a ^ a语言
直接短语:^ aco
句柄:^ps
2.构造上下文无关文法,描述语言:ab
(1){anbn|n>=0)
(2){ambn|m>=n>=0}
(3){(ab)n|n>=0}
(4){ambn|m,n>=1}
答:(1)S -> aSb | ab | ε
(2)S -> aSb | a | ε
(3)S -> abS | a | b | ε
(4)S -> aS | bS | ε
3.若是if语句的方法:
stmt->if expr then stmt
| if expr then stmt else stmt
| other
句子if E1 then if E2 then S1 else S2是否有两棵不一样的语法树?说明了什么?
答:
若是一个文法存在某个句子对应两棵不一样的语法树,则说这个文法是二义的。若是文法中含有二义性的句子,则称该文法是二义性的,即一个语法存在某个句子对应两个不一样的语法树,是二义性文法。因此说明if E1 then if E2 then S1 else S2是二义性文法。