编译原理——短语、简单短语、句柄

给出文法1:
文法1
下列句子1可由文法1推导得到:
在这里插入图片描述
接着构造句子1的语法树:
在这里插入图片描述
接下来给出短语、简单短语、句柄的不严谨定义:
短语:一棵树及其子树包含的所有叶节点组成的符号串,上图的短语为
id1 id1*id2 id2 三个。
简单短语:只包含叶节点的子树,其叶节点组成的符号串,上图的简单短语为
id1 id2 两个。
句柄:最左端的简单短语,上图的句柄为id1。
句柄是简单短语的子集,而简单短语是短语的子集。
接下来看句子1的语法分析的例子:

  1. 用F->id规约
    在这里插入图片描述
    短语:F F*id2 id2
    简单短语:F id2
    句柄:F
  2. 用T->F规约
    在这里插入图片描述
    短语:T*id2 id2
    简单短语:id2
    句柄:id2
  3. 用F->id规约
    在这里插入图片描述
    短语:TF
    简单短语:T
    F
    句柄:T*F
  4. 用T->T*F规约
    在这里插入图片描述
    短语:T
    简单短语:T
    句柄:T
  5. 用E->T规约、

分析结束,句子1可由文法1推导得到。
说明:此处的文法1为非二义性文法,该文法的每个最右句型仅有一个句柄。若一个文法是二义性的,那么可能有多个句柄。
接下来给出一个更复杂的例子,参考该篇博客
在这里插入图片描述

  • 短语:(Sd(T)db) , Sd(T)db, Sd(T), (T), S, b
  • 简单短语:(T), S, b
  • 句柄:S