编译原理的疑问

Question

短语，最左素短语，句柄，直接短语的区别是什么？

Answer 1

设文法G的开始符号为S，abc是G的一个句型。
如果有句型S *=>aAc，且A +=>b，则称b是句型abc相对于非终结符A的短语。
假如A =>b，则称b是句型abc相对于规则A=>b的直接短语。
句柄就是句型的最左直接短语。
假如一个短语，有且只含有一个非终结符，则称之为素短语；（语法树）最左边的素短语为最左素短语。

形式语言里，规范推导是最右开始，则归约是最左开始。
短语的特点是由非终结符而来。在算符优先分析里，短语是进行归约的方向。它和常见的中文、英文里所说的短语概念有相似，也有不同。

Answer 2

文法如下

S->if E then S1
|if E then S1 else S2
|while E do S1
|begin L end /* L为语句表 */
|A /* A为赋值语句 */

L->L;S
|S