grammar - k>1 の場合、文法が LL(k) であることを証明する方法

Question

私は文法を与え、それがLL(1). その部分はすべて問題ありませんが、後でその文法が可能かどうかを尋ねLL(k)(for k>1)られます. それを判断するには、どのような手順に従いますか?

Answer 1

与えられkた非左再帰文法の場合、必要なのはLA(k)テーブルを作成することだけです (どこでもすぐに利用できるアルゴリズムによって)。あいまいさがなければ、文法はLL(k)であり、言語もそうです。

k特定の言語が存在するかどうかを知ることLL(k)は決定できません。k成功するまで、またはユニバースがなくなるまで、次から次へと の値を試す必要があります。