第三章 文法与语言(3.4-3.7).pptVIP

第三章 文法和语言 本章内容 引言和预备知识 文法和语言的形式定义 文法的类型 上下文无关文法及其语法树 上下文无关文法的句型分析 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 四种文法之间的逐级“包含”关系 3.5 上下文无关文法及其语法树 3.5 上下文无关文法及其语法树 3.5 上下文无关文法及其语法树 句型、推导 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 ?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 + T T T * F F F a a a 一棵语法树表示了一个句型的可能的不同推导过程，包括最左(最右)推导。但是，一个句型是否只对应唯一的一棵语法树呢?一个句型是否只有唯一的一个最左(最右)推导呢? 例：G[E]: E → i E → E+E E → E*E E → (E) 二义文法 若一个文法存在某个句子对应两棵不同的语法树，则称这个文法是二义的。 或者，若一个文法存在某个句子有两个不同的最左（右）推导，则称这个文法是二义的 二义文法 对于一个程序设计语言来说，常常希望它的文法是无二义的，因为希望对它的每个语句的分析是唯一的。 二义文法改造为无二义文法 G[E]: E → i G[E]：E → T|E+T E → E+E T → F|T*F E → E*E F → （E）|i E → (E) 规定优先顺序和结合律 3.6 句型分析 自上而下的语法分析 例：文法G：S → cAd A → ab A → a识别输入串w=cabd是否为该文法的句子 自下而上的语法分析 例：文法G： S → cAd A → ab