2

众所周知，任何 LL(1) 语法也是 LR(1)，但我似乎无法在任何地方找到严格的证明。我听说过一些关于证明的高级概述（例如，由于 LL(1) 语法一次仅从一个标记确定其产生式，而 LR(1) 语法可以在做出决定之前扫描更多的输入制作）。但是，在查阅了两本关于编译器和解析的教科书并在 Google 上进行了快速搜索之后，我似乎无法找到更正式的证据来证明这一事实。

有谁知道这个证明，或者至少在哪里可以找到它？

4

1 回答 1

3

讨论此问题的论文可在http://doc.utwente.nl/66947/1/ipl-2_1982.pdf找到

于 2011-06-28T20:33:36.223 回答