[第二章上下文无关文法0.pptVIP

* * 程序语言的语法描述与分析 目的： 语言的语法结构的形式描述 从形式描述中，研究语法分析器的构造 （算符优先分析法和递归子程序分析法） Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 本章内容 引言 -文法 文法与语言 -上下文无关文法 -推导与语言 语法树与二义性 第三章 上下文无关文法 (context-free grammar) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 文法（grammar) 问题： 如何描述语言 定义： 文法是描述语言的语法结构的形式规则（即语法规则 ) 目的： 解决语言的有穷说明问题，包含对语法的描述，但 却不表达任何语义 一、引言 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 1、文法的描述应达到要求： 2、文法分类：分为四类（0、1、2、3型文法），对应四类语言； 与程序语言语法有关的是上下文无关文法 形式上严格、准确； 易于理解； 具有较强的描述能力； 有利于句子的分析和翻译，构造语法分析器 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 3、上下文无关文法的特点： 它所定义的语法范畴（或语法单位）是完全独立于这种范畴可能出现的环境的 上下文无关文法只能描述一部分语言，但已足够 描述现今的程序设计语言 自然语言要用其他的文法来描述 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 二、文法与语言 1、 一个上下文无关文法G是一个四元式（VT,VN,S, P ），其中: VT：是非空有限集，它的每个元素是终结符号； VN：是非空有限集，它的每个元素是非终结符号； VT∩VN=Φ; VT∪VN=V; P ：产生式集合（有限），每个产生式形式是 { P-α| P∈VN， α∈(VT∪VN)*，S至少一次为P }； S：S∈VN，称为开始符号； Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 例1、 考虑下面的算术表达式的文法及语言 VT： id + － * / ↑ ( ) VN： 表达式、运算符 S： 表达式 P： 表达式 -表达式 运算符 表达式 表达式 -（表达式） 表达式 - －表达式 表达式 - id 运算符 - +| －| * |/|↑ 得到 文法G1(E): E -EAE|( E )| －E |id A - + |－|*|/|↑ Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 该文法的： VN是出现P的左部所有符号集合 V是P的所有符号 ∴VT = V \ VN S是该文法所定义的句子名字 ∴写出了P ，就能找出其它三元素 由此可见，文法G1(E)所定义的语言是上述算术表达式， 如：id+id，id*(id+id) 等 它表达了简单算术表达式由id用A连接起来 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 2、从此可见 终结符：是用以组成语言中的串的基本符号，与程序语言中“单词”是同