一种特殊的上下文无关文法及其语法分析

作     者：张瑞岭 

作者机构：中国科学院软件研究所计算机科学开放研究实验室 

基　　金：国家自然科学基金 国家863高科技项目基金 国家"九五"攻关计划基金 

出 版 物：《软件学报》 (Journal of Software)

年 卷 期：1998年第9卷第12期

页      码：904-910页

摘      要：ＳＡＱ系统是一个进行软件规约获取、检验和复用的实验系统，其中以上下文无关文法表示的概念是规约的一部分．ＳＡＱ要求将概念的词法和句法定义结合在一个上下文无关文法中．如果用常规的上下文无关文法描述诸如程序设计语言和自然语言等一些复杂概念的语法，则需要把诸如空格和回车等没有实质意义的分隔符包含到语法中去（这种描述方法称为朴素表示法），使得语法描述很累赘．为此，作者设计了一种特殊的上下文无关文法，它把通常上下文无关文法定义中的非终极符集合和终极符集合进行细化．用这种文法可以相对简洁地描述程序语言和自然语言等复杂概念的完整定义，而且，其相应的语法分析效率较朴素表示法有所提高．同时，给出相应于这种特殊的上下文无关文法的语法分析和语法树生成算法．这些算法分别由在通用上下文无关语法的Ｅａｒｌｅｙ分析算法及其相应的语法树生成算法的基础上改进而得到．

主 题 词：语法分析 编译程序 解释程序 上下文无关文法 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.13328/j.cnki.jos.1998.12.006

馆 藏 号：203472025...