会计学
1
形式语言基础****题
第2章****题解答:
【】试求下述文法G(Z)所定义的语言:
G(Z): Z->b|bB ,B->bZ
【解】
⒈ 推导运算法:
L(G)={ x | Z x, x∈VT* }
=>
+
文法所定义的语言
Z => bB => bbZ => bbb
Z => bB => bbZ => bbbB => bbbbZ => bbbbb
Z => b
∴
∵
Z => b2n-1 , n≥1
⒉ 正规方程式法:
∵ Z=b|bB, B=bZ
即 Z=b|bbZ
※递推求解 Z=b|bbZ 可得:Z=b2n-1 n≥1
∴ L(G)={ b2n-1 | n≥1 }
…
第1页/共8页
第2章****题解答:
【解】
根据文法G[S]: S->(AS)|(b) ; A->(SaA)|(a)
⑵ 从语法述上,看(A((SaA)(b)))的短语、直接短语和句柄:
S
( A S )
( A S )
( S a A )
( b )
短语:
① (A((SaA)(b)))
② ((SaA)(b))
③ (SaA)
④ (b)
直接短语:
③ (SaA)
④ (b)
句柄:
③ (SaA)
⑴ 因为(a)不是句子,所以没有短语问题。
已知文法G[S]: S->(AS)|(b) ; A->(SaA)|(a)
试找出符号串(a)和(A((SaA)(b)))的短语、直接短语(即 简单短语)和句柄。
S
S
A
S
第2页/共8页
第2章****题解答:
【】P36_9 ;
证明下面文法是二义性文法 S->iSeS |iS |i
【证】
因为句型 iiSeS 有下述两棵不同的语法树:
S
i S e S
i S
S
i S
i S e S
和
所以所属文法是二义性文法!
⑴ 证明 = aAbcde 是一个句型;
⑵ 画出句型 的语法树;
⑶ 指出句型 的短语、简单短语和句柄。
第3页/共8页
第2章****题解答:
【】消除下述文法的直接左递归:
G(S): E->E+T|E-T|T
【解】
∵ 消除直接左递归公式:
整理: E -> E + T | E – T | T
∴ 有
G`(S): E -> T { T }
A -> A | ≡
A -> { }
A -> A`, A`-> A` |ε
或
G`(S): E -> T E`
E`-> T E` | ε
令: = +|-
E -> E T | T
第4页/共8页
第2章****题解答:
【】化简下述文法
形式语言基础习题PPT学习教案 来自淘豆网www.taodocs.com转载请标明出处.