第3章上下文无关文法2.0.pptVIP

程序语言的语法描述与分析;本章内容 引言 -文法 文法与语言 -上下文无关文法 -推导与语言 语法树与二义性;文法（grammar);1、文法的描述应达到要求： 2、文法分类：分为四类（0、1、2、3型文法），对应四类语言； 与程序语言语法有关的是上下文无关文法;3、上下文无关文法的特点： 它所定义的语法范畴（或语法单位）是完全独立于这种范畴可能出现的环境的;二、文法与语言;例1、 考虑下面的算术表达式的文法及语言;该文法的： VN是出现P的左部所有符号集合 V是P的所有符号 ∴VT = V \ VN S是该文法所定义的句子名字 ∴写出了P ，就能找出其它三元素;2、从此可见;该语法范畴叫“句子”，在程序语言中叫“程序” 语言的句子是由一串VN定义，到最后才是一串VT; 产生式：规定由终结符和别的语法范畴组成一个新的语法范畴的办法； 结构：非终结符 - 一串非终结符和终结符 如：A -α;3、习惯记号;有穷条产生式，产生无穷集，要求产生式必须递归 定义算术表达式，用了两条浓缩的产生式，一般定 义一个语言的产生式是很复杂的 对递归的算术表达式的产生式，进行反复推导产生 表达式语言;4、推导与语言;②推导：如两个串u0、un，存在一个串序列 u0 u1 … un 则 u0 R1 un，R1记为 或