LL（1）文法もLR（1）であることは広く知られている事実ですが、これの厳密な証拠はどこにも見つからないようです。証明の概要をいくつか聞いたことがあります（たとえば、LL（1）文法では、一度に1つのトークンから生成が決定されるため、LR（1）文法では、決定前にはるかに多くの入力をスキャンできます）作られています）。しかし、コンパイラに関する2つの教科書を調べ、解析してGoogleですばやく検索した後、この事実のより正式な証明を突き止めることができないようです。
誰かがこの証拠、または少なくともそれを見つける場所を知っていますか？