基于超文法的扩展文法转换技术
2006-04-29 00:44郭德贵刘磊吴万春王胜军
吉林大学学报（理学版） 2006年1期
郭德贵 刘 磊 吴万春 王胜军
摘要：针对带有优先级的扩展巴克斯范式(EBNF)，普通的语法分析技术很难适用于该文法的问题，给出了扩展文法的形式定义，提出一种基于超文法的EBNF到巴克斯范式(BNF)的转换算法，并给出转换的正确性证明，该算法在ATLAS语言编译器的开发中得到了实际应用和验证。
关键词：巴克斯范式；扩展巴克斯范式；扩展文法；文法转换；超文法
中图分类号：TP301
文献标识码：A
文章编号：1671—5489(2006)01-0073-05
