编译原理中:短语,直接短语,句柄

这几天邻近期末，感觉上了快一学期的编译原理的许多方面还是难以理解，今天早上就突然遇到了一道题，求短语，直接短语和句柄的题，突然才发现自己连这些词的定义都不清楚，于是仔细查了以下，下面分享出来:

短语
书上的定义如下:

 

 

书上写的比较抽象，我这里简单解释一下，有两个文法，分别是：

S=*=>aAp (由于部分字符难以输入，在此用a,b,p代替)
A=+=>b

我们由此可以画出他的抽象语法树，如下:

 

 

 

那么，abp为此句型的短语
总结来说：一个句型的语法树中任一子树叶结点所组成的符号串都是该句型的短语，由这概念，那么我们自然可以想到，b也应该是该句型的一个短语。

直接短语
书中的定义：

 

 

 

书中的意思总结来说，指的是如果子树中不再包含其他的子树，即A只能推导出b，而b不能再推出其他的式子，则b为此句型的直接短语

句柄
先来看一下书中的定义:

 

 

 

 

 

书中的意思就是：直接短语中的最左直接短语为该句型的句柄。

小练习

 

 

如何证明E+T*F是句型呢？最简单的方法就是画抽象语法树，如果能画出对应的抽象语法树，则就表明此表达式是文法的一个句型。

抽象语法树如下:

 

 

 

按如上的语法树可知，E=T*F为此文法的一个句型:

短语: T*F, E+T*F

直接短语：T*F

句柄：T*F

简析：对于子树T来说，其所有叶子节点为：T*F，对于E来说，其所有叶子节点为:E+T*F故短语为 T*F 和 E+T*F

这个比较简单，我们来个比较复杂的题目：

S -> a|b|(T) 
T -> TdS|S
证明(Sd(T)db)是S的一个句型，并求出短语，直接短语，句柄

 

此文法的抽象语法树为:

 

 

 

 

由此可得S=(Sd(T)db)为此文法的一个句型：

短语:S，(T)，b，Sd(T)，Sd(T)db，（Sd(T)db)

直接短语:S，(T)，b

句柄:S