第三章语境语法 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记为 或 u0 un：表示从u0出发，经一步或若干步，可推导出un u0 un：表示从u0出发，经0步或若干步，可推导出un;如令u0为S，即推导要从开始符号开始，那么： S α ，α∈V*，称α为G的句型 如再要求α∈VT*，则 α为G的句子 文法G所产生的句子的全体是一个语言，记为L(G) L(G) = {α|S α α∈VT* };①由文法G定义语言L是依赖一种运算，关系 V*中有许多的串，仅有那些(S,u) (S,v)存在 关系的u、v才有可能成为语言中的句子。 ②α、β、γ是句型，表示(S，α) (S，β) ，有 的关系，但它的构成不全为VT的字符。 ③G的句型集，是指存在S α关系的所有α，该 集的子集是L(G) ④V* 句型集 L(G);例2 根据文法G: E - E+E|E*E|( E )| i 句子i1*(i2+i3)推导过程如下：;三、语法树与二义性;树的叶：非终??符|终结符，对应一个句型 语法树为语法分析提供一些新的途径;在语法树中找出文法中的概念;例3 E －( id + id )的语法树;由此可见，;①文法G E - E+E|E*E|( E )| i ②推导1 E = E+E = id+E = id+E*E = id+id*E = id+id*id ③推导2 E = E*E = E+E*E = id+E*E = id+id*E = id+id*id;推导1的语法树;2、二义性问题;解决办法：尽量去掉二义性;语言的二义性问题与文法的二义性问题;最后，作为描述程序语言的上下文无关文法， 我们限制：