たとえば、指定された一連のプロダクションから文字列「aabbccdd」を派生させたいと思います。
S -> AB | C
A -> aAb | ab
B -> cBd | cd
C -> aCd | aDd
D -> bDc | bc
左端と右端の派生を使用して、AB から文字列を派生させることができます。
しかし、Cからはどうですか?文字列を導出すると、常に1つの変数しかありません。
C からの派生:
S -> C
S -> aCd
S -> aaDdd
S -> aabDcdd
S -> aabbccdd
どのような派生が使用されましたか? この文法はあいまいであると見なすことができますか?