编译原理-短语、句柄、素短语等几个概念
从文法的开始符号经过0步或若干步推导所得到的符号串是文法的一个句型。
只含终结符的句型叫做句子。
文法的所有句子的全体叫做语言,记作L(G)。
一个句型对应的语法树中,任一子树的叶节点所组成的符号串都是该句型的短语。
一个句型对应的语法树中,任一最小子树(只有两层)的叶节点所组成的符号串都是该句型的直接短语。
同一个句型的所有直接短语中,在语法树中最靠左的那个叫做句型的句柄。
素短语是特殊的短语,它包含至少一个终结符,且其本身不包含其他素短语。
在语法树中最靠左的素短语叫做最左素短语。
一个字的任意首部(包括ε)称为字的前缀。
- 如字
ab
有前缀ε
,a
,ab
。
活前缀:规范句型的一个前缀,这种前缀不含句柄之后的任何符号。