2
LL（1）文法もLR（1）であることは広く知られていますが、どこでも厳密な証明はできません。 LR（1）文法は決定の前により多くの入力をスキャンすることができますが、LL（1）文法は一度に1つのトークンから決定されるため、作成されます）。しかし、コンパイラーに関する2つの教科書を調べて解析し、すばやくGoogle検索を行った後、私はこの事実のより正式な証拠を追跡することはできません。なぜすべてのLL（1）文法LR（1）ですか？
誰もがこの証明を知っていますか、それともどこから見つけられますか？
ありがとうございました！私は実際に約1時間前にこの論文を見つけ、それを自分で投稿しようとしていましたが、私はそれに公開されたリンクを見つけることができませんでした。 – templatetypedef