众所周知,任何LL(1)文法也是LR(1),但我似乎找不到一个严格的证据来证明这一点。我听说过一些关于证明的高级概述(例如,由于LL(1)文法的产生式一次只由一个标记确定,而LR(1)文法在做出决定之前可以扫描更多的输入)。然而,在查阅了两本关于编译器和语法分析的教科书并在谷歌上进行了快速搜索后,我似乎找不到更正式的证据来证明这一事实。
有人知道这个证据吗,或者至少在哪里可以找到它?
发布于 2011-06-29 04:33:36
有关这一问题的论文可在http://doc.utwente.nl/66947/1/ipl-2_1982.pdf上找到
https://stackoverflow.com/questions/6500908
复制相似问题