1.已知文法:
S->a|^|(T)
T->T,S|S
分析句型(T,(^,a)),求全部的短语、直接短语和句柄。
推导:S => (T) => (T,S) => (T,(T)) => (T,(T,S)) => (T,(S,S)) => (T,(^,S)) => (T,(^,a))
语法树:
全部短语:(T,(^,a)) T,(^,a) (^,a) ^,a ^ a
直接短语: ^ a
句柄: ^
2.构造上下文无关文法,描述语言:
{anbn|n>=0}
{ambn|m>=n>=0}
{(ab)n|n>=0}
{ambn|m,n>=1}
(1)G(T) - > ab | aTb
(2)G(T) - > a | aT |ab | aTb
(3)G(T) - > ( ab ) | ( ab ) T
(4)G(T) - > b | ab | aTb | bT | a | aT
3.如果if语句的方法:
stmt->if expr then stmt
| if expr then stmt else stmt
| other
句子if E1 then if E2 then S1 else S2是否有两棵不同的语法树?说明了什么?
语法树:
有两棵不同的树说明了文法二义性。