2.3_句型的分析

（1）语法树和二义性

直接子树：若一个子树的根只有直接后继，而无更远代的后继，称这种子树为直接子树。

二义性：若一个文法所产生的每一个句子都仅有一颗语法树，则称此文法为无二义性的。

（2）短语和句柄（规约问题）

句柄：一个句型的最左直接短语（即规范分析中，最先被规约的子串）称之为句型的句柄。

2.5_文法和语言的Chomsky分类

（1）0型文法

文法Ｇ的每个产生式α→β中：若α∈Ｖ+，β∈Ｖ*（α和β无限制）， 则称G为0型文法或短语结构文法(PSG, Phrase Structure Grammar)

（2）1型文法

0型文法的每一产生式α→β满足|α|≤|β|，α,β∈V+，则称G为1型文法或前后文有关文法(CSG, Context-Sensitive Grammar)（即由少推多）

（3）2型文法

若1型文法G中的每一产生式A→β满足A∈V_N，β∈V+形式，则称G为2型文法或前后文无关文法(CFG, Content-Free Grammar)（即A是非终结符号）

（4）3型文法

3型文法包括左线性文法和右线性文法