编译原理中的文法和二义性研究.docxVIP

堡里鱼堕尘信息技术编译原理中文法是个非常重要的概念。没有文法形式语言和自动机理论就无法实现描述。而文法的二义性是一种常见的现象有些文法甚至是先天二义性的本文从文法的定义及语法树、文法的二义性、如何消除文法的二义性等个方面进行了分析。一、文法的定义及语法树文法是描述语言的语法结构的形式规则即语法规则。一个上下文无关文法包括四个组成部分一组终结符号一组非终结符一个开始符号以及一组产生式。在程序语言中我们最终感兴趣的是“程序”这个语法范畴而其他的语法范畴都只不过是构造“程序”的一块块砖石。产生式也称为产生规则或简称规则是定义语法范畴的一种书写规则。一个产生式的形式是—其中箭头左边的是一个终结符称为产生式的左部符号箭头右边的是终结符号或与非终结符号组成的一符号串称为产生式的右部。形式上定义一个上下文无关文法是一个四元式。其中是一个非空有限集它的每一个元素称为终结符号是一个非空有限集它的每一个元素称为非终结符号。是一个非终结符号称为开始符号是一个产生式有限集合每个产生式形式是咆其中∈开始符号至少必须在某一产生式的左部出现一次。假定是一个文法是它的开始符号。如果事表示从发经步或若干步可推出则称【是一个句型。仅含终结符号的句型是一个句子。文法所产生的句子的全体是一个语言将它记为。∈例如终结符号串是文法。—的一个句子。是因为有等从开始符号至的一个推导。而、、等是文法的句型。潲撇稳固昌器镫四窝团第七