编译原理–句柄
定义:
句型的句柄是该句型中和一个产生式右部匹配的子串并把它规约成该产生式左部的非终结符代表了最右推导过程中的逆过程的一步。
句柄的右边仅仅含有终结符或者空符。
- 只有文法无二义性,每个右句型才有唯一句柄。
例子:
对于文法
E->E+E E->(E)
E->E*E E->id
的最右推导:
E=>E*E
=>E***E+E**
=>E*E+id
=>E***id**+id
=>**id***id+id
(加粗部分为句柄)