改进的上下文无关文法及其语法分析.pdfVIP

第26卷 第 1期 鞍 山科 技 大 学 学 报 Vo1．26No．1 2003年 2月 JournalofAnshanUniversityofScienceandTechnology Feb．，2003 改进的上下文无关文法及其语法分析 李迎春 ，迟呈英 ，孙冀侠 (I．鞍 山科技大学 计算机科学与工程学院，辽宁 鞍山 114044；2．鞍 山师范学院计算机中心，辽宁鞍 山 1140o5) 摘 要：eft对一些语言的实际应用情况，对标准的上下文无关文法作了改进，将标准的上下文无关文法定义 中的非终结符集合和终结符集合进行细化，使得单词推导和句子推导可以使用同一个过程 ，即词法分析和语 法分析可以在同一个语法分析过程完成．还给出了改进后文法的分析算法及算法的时间复杂度分析 ，证明用 这种改进的方法进行语言文法定义更直观、简洁．其分析算法的时间复杂度优于标准上下文无关文法的分析 算法 ． 关键词：上下文无关文法；语法分析；产生式 中图分类号：TP314 ‘文献标识码 ：A 文章编号：1672-4410(2003)01-tX)25-04 编译过程 中，词法分析和语法分析是两个不同的过程 ；通常是在语法分析程序 中调用词法分析程 序，提供单词序列．但在某些实际应用的语言中，有时会要求文法定义细化，同时要求词法和句法分析在 一 个语法分析过程中完成 ．对较复杂的程序设计语言和 自然语言，如果按上面的要求用标准的上下文无 关文法描述包括词法结构信息在内的完整语法定义，则需把诸如空格和回车等没有实质意义的分隔符 号包含到语法中去 ，使得语法定义很不直观 ，而且影响分析效率 ． 针对以上情况，本文对标准的上下文无关文法进行了相应的改进，设计 了一种新的上下文无关文 法 ，把标准上下文无关文法定义中的非终结符集合和终结符集合进行细化 ，把非终结符分为 Sample和 Complex两种类型．其中Simple型的非终结符仅能推导出由字符组成的单词，而 Complex型的非终结符 则能推导出由多个单词组成的句子(在推导过程 中可以应用Simple型非终结符)，每个单词之间以空格、 回车等分隔符分开 ．本文着重对 Complex型非终结符的语法分析算法及其实现进行介绍，然后进行算法 分析 ． 1 改进 的上下文无关文法描述 设 G= ( ， ，P，S) (1) 为一文法；其中 为非终结符集合， 为终结符集合，P为产生集合，S为初始符 ．若 P中的每一个产 生式a一 满足：Ot是一非终结符，∈( U ) ，则此文法称为标准的上下文无关文法 ． 在改进 的文法中，对 Simple型非终结符所能推导的一切单词的定义，仍然用标准的上下文无关文法 表示，用 Earley算法实现其语法分析，并在 Earley算法产生的分析结果的基础上，构造语法树 ．对 Com— plex型非终结符所能推出的所有句子的定义用文法 G表示 ，记为 G= (Nc，Ns， ，VTC，P，) (2) 其 中 Nc为 Complex型非终结符集合，Ns为 Smiple型非终结符集合， 为单词终结符集合，代为字符 终结符集合，P为产生式集合， 为开始符 ．P可以表示为 收稿 日期 ：2OO2—09—28． 作者简介 ：李迎春 (1973一)，女．辽宁喀左人，讲师；迟呈英(1963一)．女，辽宁沈阳人 ．副教授 · 26 · 鞍 山科 技 大 学 学报 第26卷 P= {— aI ∈ Nc，a∈ ( U ) }U {— aI ∈ Ns，a∈( UVTc) } (3) = ( U ) (4) 表示全体非终结符集合，元素用大写字母A，B，C等表示，( UVTs)表示非终结字符和字符终结符组 成的串，其元素用希腊字母 a，，y等表示 ．本文用 表示空串，用 j＆表示