编译原理-短语、句柄、素短语等几个概念

从文法的开始符号经过0步或若干步推导所得到的符号串是文法的一个句型。

只含终结符的句型叫做句子。

文法的所有句子的全体叫做语言，记作L(G)。

一个句型对应的语法树中，任一子树的叶节点所组成的符号串都是该句型的短语。

一个句型对应的语法树中，任一最小子树（只有两层）的叶节点所组成的符号串都是该句型的直接短语。

同一个句型的所有直接短语中，在语法树中最靠左的那个叫做句型的句柄。

素短语是特殊的短语，它包含至少一个终结符，且其本身不包含其他素短语。

在语法树中最靠左的素短语叫做最左素短语。

一个字的任意首部（包括ε）称为字的前缀。

• 如字ab有前缀ε,a,ab。

活前缀：规范句型的一个前缀，这种前缀不含句柄之后的任何符号。