编译原理-西安交通大学（冯博琴）3上下文无关文法.pptVIP

* * 程序语言的语法描述与分析 目的： 语言的语法结构的形式描述 从形式描述中，研究语法分析器的构造 （算符优先分析法和递归子程序分析法） 本章内容 引言 -文法 文法与语言 -上下文无关文法 -推导与语言 语法树与二义性 第三章 上下文无关文法 (context-free grammar) 文法（grammar) 问题： 如何描述语言 定义： 文法是描述语言的语法结构的形式规则（即语法规则 ) 目的： 解决语言的有穷说明问题，包含对语法的描述，但 却不表达任何语义 一、引言 1、文法的描述应达到要求： 2、文法分类：分为四类（0、1、2、3型文法），对应四类语言； 与程序语言语法有关的是上下文无关文法 形式上严格、准确； 易于理解； 具有较强的描述能力； 有利于句子的分析和翻译，构造语法分析器 3、上下文无关文法的特点： 它所定义的语法范畴（或语法单位）是完全独立于这种范畴可能出现的环境的 上下文无关文法只能描述一部分语言，但已足够 描述现今的程序设计语言 自然语言要用其他的文法来描述 二、文法与语言 1、 一个上下文无关文法G是一个四元式（VT,VN,S, P ），其中: VT：是非空有限集，它的每个元素是终结符号； VN：是非空有限集，它的每个元素是非终结符号； VT∩VN=Φ; VT∪VN=V; P ：产