LALR(1)解析器的再工程:YACC和CUP剖析

摘要：

现有的前端分析多数是通过编写相应的可能含有二义的LALR (1)文法规范,利用YACC或其变种自动生成的.在这些解析器的Java再工程中,可以用CUP去替代YACC,这样再工程的焦点转移到对文法规范的变换.由于YACC及CUP在二义的解决、解析器的构造等有细微的差别,因此对复杂的文法规范的变换并不是一件容易的事.该文通过剖析YACC和CUP,指出了它们的不同之处,并总结出有二义的YACC文法到CUP文法变换的基本原则和几个变换法则.

关键词：LALR(1)、解析器、YACC、CUP、二义性、冲突

所属期刊栏目：31

分类号：TP311.51(计算技术、计算机技术)

资助基金：国家自然科学基金60173049;Intel中国研究中心ICRC基金

在线出版日期：2005-09-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：50-52