1 短语
那么,abp为此句型的短语
总结来说:一个句型的语法树中任一子树叶结点所组成的符号串都是该句型的短语,由这概念,那么我们自然可以想到,b也应该是该句型的一个短语。
2 直接短语
跟短语比,限定高度为2的子树。
如果子树中不再包含其他的子树,即A只能推导出b,而b不能再推出其他的式子,则b为此句型的直接短语。
3 句柄
直接短语中的最左直接短语为该句型的句柄。
4 例子
如何证明E+T*F是句型呢?最简单的方法就是画抽象语法树,如果能画出对应的抽象语法树,则就表明此表达式是文法的一个句型。
抽象语法树如下:
按如上的语法树可知,E=T*F为此文法的一个句型:
短语: T*F, E+T*F
直接短语:T*F
句柄:T*F
S -> a|b|(T)
T -> TdS|S
证明(Sd(T)db)是S的一个句型,并求出短语,直接短语,句柄
此文法的抽象语法树为:
由此可得S=(Sd(T)db)为此文法的一个句型:
短语:S,(T),b,Sd(T),Sd(T)db,(Sd(T)db)
直接短语:S,(T),b
句柄:S