基于超文法的扩展文法转换技术 (2006年)

【文件属性】：

文件名称：基于超文法的扩展文法转换技术 (2006年)

文件大小：423KB

文件格式：PDF

更新时间：2024-06-14 02:33:27

自然科学 论文

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