首页 | 本学科首页   官方微博 | 高级检索  
     检索      

基于超文法的扩展文法转换技术
引用本文:郭德贵,刘磊,吴万春,王胜军.基于超文法的扩展文法转换技术[J].吉林大学学报(理学版),2006,44(1):73-77.
作者姓名:郭德贵  刘磊  吴万春  王胜军
作者单位:1. 吉林大学 计算机科学与技术学院, 长春 130012; 2. 青岛理工大学 计算机工程学院, 山东省 青岛 266033
摘    要:针对带有优先级的扩展巴克斯范式(EBNF), 普通的语法分析技术很难适用于该文法的问题, 给出了扩展文法的形式定义, 提出一种基于超文法的EBNF到巴克斯范式(BNF)的转换算法, 并给出转换的正确性证明, 该算法在ATLAS语言编译器的开发中得到了实际应用和验证.

关 键 词:巴克斯范式  扩展巴克斯范式  扩展文法  文法转换  超文法  
文章编号:1671-5489(2006)01-0073-05
收稿时间:2005-03-09
修稿时间:2005年3月9日

Transformation of Extended Grammar Based on Super Grammars
GUO De-gui,LIU Lei,WU Wan-chun,WANG Sheng-jun.Transformation of Extended Grammar Based on Super Grammars[J].Journal of Jilin University: Sci Ed,2006,44(1):73-77.
Authors:GUO De-gui  LIU Lei  WU Wan-chun  WANG Sheng-jun
Institution:1. College of Computer Science and Technology, Jilin University, Changchun 130012, China;2. College of Computer Eugineering, Qingdao Technological University, Qingdao 266033, Shandong Province, China
Abstract:The ATLAS-EBNF grammar not only introduces more operators than common EBNF,but defines precedence between operators.Owing to its particularity,we can not design a parser for ATLAS-EBNF directly,so a grammar transformation is needed.A transformation technique was proposed based on super grammar and the proof of its correctness was given.The transformation technique was applied and verified in our project for the(implement) of ATLAS.
Keywords:BNF  EBNF  extended grammar  grammar transformation  super grammar
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《吉林大学学报(理学版)》浏览原始摘要信息
点击此处可从《吉林大学学报(理学版)》下载免费的PDF全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号