これは一般的な質問ではありませんが、私がすでに少し作業している例でそれを行う方法を知りたいと思いますそれは.........これが言った： 私は以下の文法を持っています。私はそれを単純化しようとしましたが、その正しさがわかりません。誰かが正しいかどうかを確認するのに役立つかもしれませんか？ S -> BC | lambda
A -> aA | lambda
B -> bB
C -> c
私は、LL構文解析（語彙解析）を作成するための命題論理の文法を書こうとしています。 私は、次の文法試してみました： F = F and F
F = F or F
F = F => F
F = F <=> F
F = not F
F = (F)
D = a
を私はそれがあいまいであることを発見しました。私はあいまいさを取り除くために以下を試みました： F = F and A
F =