第三章 文法和言(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