给出文法1:
下列句子1可由文法1推导得到:
接着构造句子1的语法树:
接下来给出短语、简单短语、句柄的不严谨定义:
短语:一棵树及其子树包含的所有叶节点组成的符号串,上图的短语为
id1 id1*id2 id2 三个。
简单短语:只包含叶节点的子树,其叶节点组成的符号串,上图的简单短语为
id1 id2 两个。
句柄:最左端的简单短语,上图的句柄为id1。
句柄是简单短语的子集,而简单短语是短语的子集。
接下来看句子1的语法分析的例子:
分析结束,句子1可由文法1推导得到。
说明:此处的文法1为非二义性文法,该文法的每个最右句型仅有一个句柄。若一个文法是二义性的,那么可能有多个句柄。
接下来给出一个更复杂的例子,参考该篇博客