一般先根据句型写出语法树,然后再根据语法树进行求解。
举个例子:
先画出语法树(最左推导):
短语:在语法树中,先找出所有的非终结符,然后用叶子节点去替换他们,最后得到的集合就是短语的集合。
这里的非终结符从上到下为:E、E、T、E、T、F、T、T、F。我们用叶子节点全部替换这些非终结符。所以短语有:T、T * F、i、T+T * F、T+T * F+i。(重复的去掉了)
直接短语:在语法树中,一步就能够用叶子节点替换掉非终结符的短语。
在这个例子,我们可以用叶子节点T一步替换掉E,那么T就是一个直接短语,然后我们发现T * F这个短语也能一步替换掉T这个节点,因此T*F也是直接短语。同理可以知道i也是直接短语。
所以直接短语有:T、T * F、i。
句柄:语法树中最左边的直接短语。
这里很明显是T。
素短语:短语中的包含终结符的短语,同时不被其他素短语包含的短语。
这里很拗口,因此仔细说一下。
在这个例子中,我们看包含终结符的短语有:T*F、i、T+T * F、T+T * F+i。然后我们发现T+T * F+i包含了i和T+T * F和T * F,所以这个肯定不是。然后我们发现T+T * F包含了T * F,所以这个也不是。
因此素短语有:i、T * F。
最左素短语:顾名思义。
这里是:T * F