文法
0型文法
产生式的左部至少有一个非终结符
1型文法
产生式的左部至少有一个非终结符且左部的长度小于等于右边的长度。又叫上下文有关文法。
2型文法
产生式的左部有且仅有一个非终结符。又叫上下文无关文法。
3型文法
产生式的左部有且仅有一个非终结符，右边是a或者aB或空规则。
规范推导和规范规约
最右推导是规范推导
最左规约是规范规约
句型、句子、
推导过程中产生的每一步都是一个句型；推导中产生的全由终结符构成的句型是句子。
短语、直接短语、句柄
在语法树中，每一个能够由全部是终结符的后代构成的结点就有短语，其短语是终结符；
直接短语是指能够由一步推导得到的短语；最左直接短语就是句柄。