关于SLR,LR(1)及LALR(1)在实践中的效率及状态集规模的探讨以及程序代码 摘要： 编译器的构造中，语法分析是一个非常关键也是较难的部分之一，虽然现在已经有非常成熟的语法分析器的生成器，但是真正大的编译器设计者还是会选择自己处理语法分析。其中，自顶向下的方法有递归下降分析，非递归预测分析等，但是前者递归无法满足程序嵌套的深入，很容易形成栈溢出；后者手工构造对于稍微大的文法无法显得捉襟见肘。 幸运的是：自底向上分析能够很好的解决上述问题。其中LR(0)， LR(1)以及LALR(1)对程序设计语言语法分析提供了很好的解决方案。但是他们三者的性能如何，到底实际中适和使用哪种分析方法？很多书都提出LALR分析方法同时拥有了前两者的优点，所以是最提倡的。 据笔者所知，YACC(Yet Another Compiler- Compiler )语法分析器生成器所使用的方法正是LALR分析法。 本文旨在用程序证明LALR语法分析方法的最优性以及LR(1)方法的不可行性。 作者此次正好利用编译原理论文的机会，和大家一起去实践的证明一下吧！