编译原理知识点整理

鉴于公式不太好理解,采用人话的形式写一部分翻译懂的...(如果不是有作业是不可能学的)

短语:所有叶子节点单拉出来都是短语,连起来也算,排列组合

定义2.15 句柄

句柄:把所有能替换的都视为节点,所有不可替换的视为叶子,最左边小树的叶子节点就构成了句柄

直接短语:所有的小树的叶子节点集合都是

句柄为F*i,短语为E,F*i,E+F*i,直接短语F*i

 

消除单一产生算法2.3

好像老师给的教材有些诡异...

先把非终极符用非终极符表示(包括用自己表示自己,A->B算,而不是A->aB,局部算B                               铁锅炖自己?)

然后把非终极符替换走一遍给的P,最后得出VN1

S用S表示,或者可以表示为A或者B 注意不表示为AB

最后得出结论

算法2.5 消除空符产生式

空集的东东,会影响所有的,每个空集都会导致多个 | 

例子:

s -> AB  A->aA|空   B->bB|空 

结论:

s->AB|A|B    A->aA|a  B->bB|b