编译原理中的句柄和程序中的句柄

‘壹’ 编译原理-句型、句子、短语、直接短语、句柄、素短语、最左素短语

在进行语法分析的时候，有时候会对这些词语的概念不清晰，这里我们就详细归纳总结一下。

可以看出这个里面，最需要理解的概念就是短语，其他大部分概念都是在短语基础上延伸的，从概念上可以看出：

假设有一个文法

针对文法的一个特定句型 (Sd(T)db) , 其推导过程如下:

这个句型 (Sd(T)db) 对应的 CFG 分析树如下：

那个这个句型 (Sd(T)db) 有多少个短语呢？

还记得短语的定义么， S ⇒* αβδ ， αβδ 代表句型就是这里的 (Sd(T)db) 。

因此这个句型 (Sd(T)db) :

算法非常简单，就是通过分析树的后序遍历，先将子树的叶节点从左到右排合并成字符串(即一个短语)，然后用它代表子树的根节点的值，再和与子树根节点同一层节点值合并，得到新的短语。就这样从分析树的最底层，一路合并到分析树的根节点，就能得到所有的短语了。

通过递归的方法，获取短语列表 phraseList , 直接短语列表 directPhraseList 和 素短语列表 plainPhraseList 。

运行结果:

‘贰’ 什么叫活前缀,用通俗的话解答下,或者简单的例子。 这个题是编译原理的。

活前缀：右句型的前缀，而且其右端不会超过该句型的最右边句柄的末端。
右句型：最右推导可得到的句型。
最右推导：每步推导都替代最右非终结符的推导。
推导：我们说αBγ推导出αβγ，是说存在产生式B->β。
产生式：左边为非终结符，右边为终结符与非终结符组合成的串。
非终结符：是字符串的集合。
终结符：组成语言的词。如c语言中的2，a，int，if等。
句型：开始符经过若干步推导后得到的串。
前缀：如abc的前缀为a、ab、abc。
开始符：开始符是整个语言的集合。
句柄：非形式的，句柄是和某个产生式右部匹配的字符串，把句柄归约成产生式左部的非终结符，可以得到最右推导的逆过程的一步。形式的定义为：开始符s经过若干步最右推导得到αBγ，αBγ经过一步最右推导得到αβγ，若γ为终结符的集合，则β为句柄。举例：
E->E+E|E*E|-E|(E)|id，对于id+id*id，其中一个最右推导为E->E+E->E+E*E->E+E*id->E+id*id->id+id*id。在id+id*id归约成E+id*id的过程中，最左边的id是句柄。E+id*id归约成E+E*id时，最左边的id是句柄，把E+E*id归约成E+E*E时，id是句柄。把E+E*E归约成E+E时E*E是句柄。E+E归约成E时，E+E是句柄。
归约：可理解为把产生式右边的串用产生式左边的非终结符代替。
注1：再说一下活前缀，举个例子，比如E+E*E归约成E+E，句柄是E*E，那么它的活前缀就是E、E+、E+E、E+E*、E+E*E。又比如id+id*id归约成E+id*id，句柄是最左边的id，那么它的活前缀是id，因为不能超过句柄。
注2：至于为什么要给出活前缀的定义和如何用归约的方法实现语法分析，还要进一步学习。

‘叁’ 编译原理中的句柄是什么意思

是操作系统用来管理不同的对象，给他们一个编号而已

比如窗口、线程、图标等都会对应一个句柄，这样可以方便标识与管理

句柄其实也就是一个整数值，而且是唯一的

‘肆’ 编译原理中的短语、直接短语、句柄

如果给出短语等名词的形式化的定义，便较难理解，不好求。我们通过构造语法树来求解。首先你应该会根据文法将所给句型构造成语法树的形式，即根据文法怎样推导出句型E+T*F。如果你有数据结构二叉树基础的话这很简单就构造出来了。构造出语法树后，求短语看根节点，有T，和E。则短语为：E+T*F,T*F，而直接短语是指能直接推出叶子节点的根所对应的短语，可知该节点为T，直接短语为：T*F。句柄是最左直接短语，可知为：T*F。

‘伍’ 句柄的编译原理

一个句型的最左直接短语称为该句型的句柄，句型的句柄是和某产生式右部匹配的子串，并且，把它规约成该产生式左部的非终结符，代表了最右推导过程的逆过程的一步。
如右图，在推导过程中，S→aABe→aAde→aAbcde→abbcde，此四步的句柄分别为aABe,d,Abc,b
句柄的特征：
1. 它是直接短语，即某规则右部。
2. 它具有最左性。
注意：短语、直接短语和句柄都是针对某一句型的，特指句型中的哪些符号子串能构成短语和直接短语，离开具体的句型来谈短语、直接短语和句柄是无意义的。另外句柄的右边仅含终结符如果文法二义，那么句柄可能不唯一。

‘陆’ 编译原理中的句柄是什么意思举个简单的例子

语法树的最左子树