第3章 文法和语法(lly)3.pptVIP

第3章 文法和语言 考查重点 基本概念 ： 文法；推导/归约；句型；句子；语言；文法的二义性；文法递归；语法树；短语；直接短语；句柄；正规文法；上下文无关文法。 基本方法 构造句型的推导/归约，规范推导/规范归约 画出指定句型的语法树 判别文法的二义性 给出句型的短语、直接短语、句柄。 文法与语言的互求（较简单） 5、语言的定义：由文法G生成的语言记为L(G),它是文法G的一切句子的集合: 即L(G)={x|S x，其中S为文法的开始符号，且x ∈VT*} 例：G： S→0S1， S→01 L(G)={0n1n|n≥1} 3.4 文法的类型 Chomsky将文法分四类（对产生式施加不同限制 ）： 0型文法（短语文法）：对任一产生式α→β，都有α∈(VN∪VT)+且至少含一个非终结符， β∈(VN∪VT)* 1型文法（上下文有关文法）：对任一产生式α→β，都有|β|≥|α|， 仅仅 A→ε除外。 2型文法（上下文无关文法） ：对任一产生式α→β，都有α∈VN ， β∈(VN∪VT)* 3型文法（正规文法）：任一产生式α→β的形式都为 A→aB或A→a，A∈VN ，B∈VN ，a∈VT (右线性文法) A→Ba或A→a，A∈VN ，B∈VN ，a∈VT (左线性文法) 思考：四种文法之间的关系？ 四种文法之间的逐级“包含”关系 例：判断下列文法