2011-02-03 9 views
2
S -> aB | lamda 
B -> bB 

Bは無駄な生産です。今すぐ削除した後変換文法の問題

S -> a | lamda 

これは間違いありませんか?

答えて

2

生産S→aBは終了しません。 B→bBは終了しないためです。だから生産S - > aBは役に立たない。

答えがでなければなりません

S -> lambda 
1

少年それは私がCFGを見て以来、長い時間でした。 Bは、B *を想定し

は私が減らすと思うBさんの無限級数を意味します(?のb *)ではないそれをしない、Bさんの無限級数を生成する:

S - > AB * | λ

EDIT:

はい、上記の私の答えは間違っています。 「無駄な生産」の定義は、端末文字列の導出に決して使用されない生産物です。 Bは非終端なので、S - > λのように削除することができます。

+1 to the user574183。