执行词法分析的程序。

由规范推导所得到的句型。

描述语言的语法结构的形式规则。

任何一步α=>β都是对α中的最右非终结符替换。

过程的嵌套层次显示表，记录该过程的各外层过程的最新活动记录的起始地址。

如果一个文法存在某个句子对应两棵不同的语法树，则称这个文法是二义性文法。

局限于基本块范围的优化称。