标签： theory grammar proof lr ll
众所周知，LL（1）语法也是LR（1），但我似乎无法在任何地方找到严格的证据。我已经听过一些证据的高级概述（例如，因为LL（1）语法的产生一次仅由一个令牌确定，而LR（1）语法在决定之前可以扫描更多的输入是制造的）。然而，在查阅了两本关于编译器和解析以及快速谷歌搜索的教科书之后，我似乎无法找到更正式的证据证明这一事实。
有没有人知道这个证据，或者至少知道在哪里找到它？
答案 0 :(得分：3)
可以在http://doc.utwente.nl/66947/1/ipl-2_1982.pdf