基于超文法的扩展文法转换技术

郭德贵　刘　磊　吴万春　王胜军

摘要：针对带有优先级的扩展巴克斯范式(EBNF)，普通的语法分析技术很难适用于该文法的问题，给出了扩展文法的形式定义，提出一种基于超文法的EBNF到巴克斯范式(BNF)的转换算法，并给出转换的正确性证明，该算法在ATLAS语言编译器的开发中得到了实际应用和验证。

关键词：巴克斯范式；扩展巴克斯范式；扩展文法；文法转换；超文法

中图分类号：TP301

文献标识码：A

文章编号：1671—5489(2006)01-0073-05