【发布时间】：2011-09-23 23:03:59
【问题描述】：
众所周知，任何 LL(1) 语法也是 LR(1)，但我似乎无法在任何地方找到严格的证明。我听说过一些关于证明的高级概述（例如，由于 LL(1) 语法一次仅从一个标记确定其产生式，而 LR(1) 语法可以在做出决定之前扫描更多的输入制作）。但是，在查阅了两本关于编译器和解析的教科书并在 Google 上进行了快速搜索之后，我似乎无法找到更正式的证据来证明这一事实。
有谁知道这个证明，或者至少在哪里可以找到它？
【问题讨论】：
标签： theory grammar proof lr ll