compiler-construction - 文脈自由文法の再生成

Question

言語にアクセスするには、明確な文法を生成する必要がありますL= { a^i b^j c^k | i, j, k ≥ 0 , i = j or i = k }

私がすでに持っているものは次のとおりです。

S : X | Y
X : TC
T : aTb | ԑ
C : cC | ԑ
Y : aYc | F
F : bF | ԑ

しかし、この文法はあいまいです。同じ数の a、b、c を持つ文字列を 2 つの異なる方法で認識できます。明確にするためのより良い提案はありますか？

Answer 1

このトピックは、あいまいな文法を明確な文法に変換し、文法からあいまいさ を取り除くのに役立つと思います