编译原理-西安交通大学(冯博琴)第三章上下文无关文法.pptxVIP

第三章上下文无关文法本章将介绍上下文无关文法，它是一种形式语言理论中的重要概念，用于描述程序设计语言的语法结构。中设作者：侃侃

什么是上下文无关文法11.语法规则上下文无关文法定义了一组语法规则，用来描述语言的结构和语法。22.独立性这些规则与上下文无关，这意味着每个规则都独立地应用于符号串，而不考虑周围的符号。33.推导过程通过不断应用规则，可以从起始符号推导出句子，从而生成有效的语言表达式。44.广泛应用上下文无关文法在编译器、解释器、自然语言处理等领域都有广泛的应用，用于分析和生成语言。

上下文无关文法的定义形式化定义上下文无关文法(CFG)是一个形式化系统，用于描述语言的语法结构。它由四个部分组成：终结符、非终结符、开始符号和产生式。产生式规则产生式规则描述了如何将非终结符替换为终结符和非终结符的组合，从而生成语言中的句子。产生式规则的形式为A-α，其中A是非终结符，α是终结符和非终结符的序列。

上下文无关文法的形式产生式集合一个上下文无关文法由一个产生式集合组成。每个产生式由一个非终结符和一个字符串组成，表示该非终结符可以被该字符串替换。终结符集合终结符是语言中不可再分割的元素，例如字母、数字和符号。终结符集合包含文法中所有终结符。非终结符集合非终结符是语言中可以被替换的元素，通常用大写字母表示。非终结符集合包含文法中所有非终结符。开始符号开始符号是文法中唯一的非终结符，代表整个语言的开始符号。它通常用S表示。

上下文无关文法的例子上下文无关文法在计算机科学中被广泛应用于编程语言的语法定义、编译器设计和自然语言处理等领域。例如，在编程语言中，我们可以使用上下文无关文法来定义变量声明、函数定义、循环语句等语法结构。以下是一个简单的上下文无关文法的例子，用于定义一个简单的算术表达式：表达式::=项+表达式|项项::=因子*项|因子因子::=(表达式)|数字这个文法定义了三个产生式，分别用于定义表达式、项和因子。这些产生式使用递归和非递归的方式来描述算术表达式。

上下文无关文法的特点层次性文法规则描述语法结构的层次关系，方便分析和理解。递归性规则可以递归调用，描述重复的语法结构，例如嵌套语句。形式化文法规则使用形式化的符号表示，便于计算机处理和分析。组合性语法结构由基本元素组合而成，通过规则组合可以生成各种复杂结构。

上下文无关文法的应用编译器设计上下文无关文法是编译器设计的核心，用于定义编程语言的语法结构。数据结构的定义上下文无关文法可以用来定义各种数据结构的语法，例如列表、树和图。网页布局网页设计中，上下文无关文法可以用来描述HTML元素的嵌套结构。用户界面设计上下文无关文法可以用来定义用户界面元素的布局和交互方式。

上下文无关文法的生成树生成树是用来表示一个句子如何从文法开始符号推导出来的树状结构。树的根节点是文法的开始符号，树的叶子节点是句子的终结符。每个非终结符节点代表一个产生式，该产生式的左部是节点本身，右部是节点的子节点。生成树可以清晰地展示一个句子从文法开始符号推导到句子的过程。它可以帮助我们理解句子的结构，以及句子中各个词语之间的关系。

上下文无关文法的推导1从开始符号开始推导过程从文法的开始符号开始，逐步替换非终结符。2使用产生式规则每次推导都使用文法中的产生式规则，将非终结符替换为终结符或其他非终结符。3最终得到句子最终的推导结果是一个由终结符组成的字符串，即文法所定义的语言中的一个句子。

上下文无关文法的范式Chomsky范式Chomsky范式是一种上下文无关文法的标准形式，它将每个产生式限制为以下两种形式：A→BCA→aGreibach范式Greibach范式是另一种上下文无关文法的标准形式，它将每个产生式限制为以下形式：A→aα其中a是终结符，α是变量序列。

上下文无关文法的范式转换Chomsky范式Chomsky范式（CNF）是上下文无关文法的一种标准形式，其中每个产生式都满足以下形式：A-BC或A-a，其中A、B和C都是非终结符，a是终结符。Greibach范式Greibach范式（GNF）是另一种标准形式，其中每个产生式都满足以下形式：A-aα，其中A是非终结符，a是终结符，α是非终结符序列。转换过程将任意上下文无关文法转换为Chomsky范式或Greibach范式需要进行一系列的转换步骤，例如消除左递归、消除单元产生式。

上下文无关文法的消除左递归左递归是指在文法中存在一个产生式，其左部非终结符与右部第一个符号相同。消除左递归是将文法转换成等价的非左递归形式的过程，这样可以保证语法分析器的正确性和效率。1直接左递归A-Aa2间接左递归A-Ba,B-Aa3消除左递归A-