第三章文法和语言3437.pptxVIP

3.4 文法的类型 通过对产生式施加不同的限制，Chomsky将文法分为四种类型：0型文法(短语结构文法)：对任一产生式α→β，都有α∈(VN∪VT)+，且α至少包含一个非终结符， β∈(VN∪VT)*3.4 文法的类型1型文法(上下文有关文法)：对任一产生式α→β，都有|β|≥|α|， 仅仅 S→ε除外。 在有些文献给的定义中，将上下文有关文法的产生式的形式描述为α1Aα2→α1βα2，其中α1、α2和β都在( VN∪VT )*中(即在V*中)，β≠ε，A在VN中。 这种定义与前边的定义等价。但它更能体现上下文有关这一术语，因为只有A出现在α1和α2的上下文中，才允许用β取代A。3.4 文法的类型2型文法(上下文无关文法)：对任一产生式α→β，都有α∈VN ， β∈(VN∪VT)*3型文法(正规文法)：（1）右线性文法：任一产生式α→β的形式都为A→aB或A→a，其中A∈VN ，B∈VN ，a∈VT（2）左线性文法：任一产生式α→β的形式都为A→Ba或A→a，其中A∈VN ，B∈VN ，a∈VT文法的类型举例例：1型（上下文有关）文法文法G[S]： （1）S→aSBE （2）S→aBE （3）EB→BE （4）aB→ab （5）bB→bb （6）bE→be （7）eE→ee文法的类型举例例：2型（上下文无关）文法 文法G[S]：S→AB A→BS|0 B→SA|1 文法的类型举例例：3型文法 文法G[S]： S→0A|1B|0 A→0A|1B|0S B→1B|1|0 1型文法2型文法四种文法之间的逐级“包含”关系0型文法3型文法3.5 上下文无关文法及其语法树 给定文法G=(VN，VT，P，S)，对于G的任何句型都能构造与之关联的语法树(推导树)。这棵树满足下列4个条件：① 每个结点都有一个标记，此标记是V的 一个符号。② 根的标记是S。③ 若一结点标记A,至少有一个从它出发的分枝，则A肯定在VN中④ 如果标记为A，有n个从它出发的分枝，并且这些分枝的结点的标记（从左到右）为B1，B2，…，Bn，那么A→B1B2，…，Bn一定是P中的一个产生式。 S a A S Sb Aa a b a3.5 上下文无关文法及其语法树例: G[S]: S→aAS A→SbA A→SS S→a A→ba构造句型aabbaa的语法树（推导树）3.5 上下文无关文法及其语法树例: G[S]: S→aAS A→SbA A→SS S→a A→ba写出aabbaa句型的推导过程:S?aAS?aAa ?aSbAa?aSbbaa?aabbaa(最右推导)(2) S?aAS?aSbAS ?aabAS?aabbaS?aabbaa(最左推导)句型、推导G[E]： E→E+T|T T→T*F|F F→(E)|a判断a+a*a 是否是合法的句子,采用最左推导和最右推导E?E+T ?T+T ?F+T ?a+T ?a+T*F ?a+F*F ?a+a*F ?a+a*a（最左推导）E?E+T ?E+T*F ?E+T*a ?E+F*a ?E+a*a ?T+a*a ?F+a*a ?a+a*a（最右推导）规范推导 规范句型最左（最右）推导：在推导的任何一步α?β，其中α、β是句型，都是对α中的最左（右）非终结符进行替换最右推导被称为规范推导。由规范推导所得的句型称为规范句型构造语法树G[E]：E→E+T|T T→T*F|F F→(E)|a构造a+a*a句型的语法树构造语法树E→E+T|TT→T*F|FF→(E)|aE?E+T ?T+T ?F+T ?a+T ?a+T*F ?a+F*F ?a+a*F ?a+a*a(最左推导)E?E+T ?E+T*F ?E+T*a ?E+F*a ?E+a*a ?T+a*a ?F+a*a ?a+a*a(最右推导) E E + TT T * FF F aa a 一棵语法树表示了一个句型的可能的不同推导过程，包括最左(最右)推导。但是，一个句型是否只对应唯一的一棵语法树呢?一个句型是否只有唯一的一个最左(最右)推导呢?例：G[E]: E → i E → E+E E → E*E E → (E) E E + E E * E i i i E E * E i E + E i i句型 i*i+i 的两个不同的最左推导：推导1：E ? E+E ? E*E+E ? i*E+E ? i*i+E ? i*i+i推导2：E ? E*E ? i*E ? i*E+E ? i*i+E ?i*i+i二义文法若一个文法存在某个句子对应两棵不同的语法树，则称这个文法是二义的。或者，若一个文法存在某个句子有两个不同的最左（右）推导，则称这个文法是二义的 二义文法对于一个程序设计语言来说，常常希望它的文法是无二义的，因为希望对它的每