是指规范句型的一个前缀，这种前缀包含句柄且不含句柄之后的任何符号。

出现在文法产生式的左部且能派生出符号或符号串的那些符号称为非终结符号。

出现在文法产生式的右部且不能派生出符号或符号串的那些符号称为终结符号。

源程序或者中间代码程序中只有一个入口和一个出口的顺序执行的代码段。

对于文法的每个产生式都配备了一组属性的计算规则，称为语义规则。

是一个带有四个域的记录结构，这四个域分别称为操作符域、左运算对象域、右运算对象域及运算结果域。

按文法的产生式识别输入的符号串是否为一个句子的分析过程。

一旦真假出口确定下来之后，用顺着真链和假链把真假出口补上。

一个句型的最左直接短语称为该句型的句柄。

从文法的开始符号出发，反复使用文法的产生式，寻找与输入符号串匹配的推导，或者说，为输入串寻找一个最左推导。