anti-unitification算法
用来计算两个抽象语法树之间的距离,并且通过距离值来完成相似语法树的聚类操作。设E1和E2是两个语法树结点,如果存在两个变换〇1和〇2,使得〇1(E1和记(E)=E2,则称E是E1和E2共同的规约形式。Anti-unification算法的目的就是针对给定的结点E1和E2,找到所需变换次数最少的E。
将anti-unitification算法应用于树T1和T2则是指替换T1和T2子树中的特殊结点
用来计算两个抽象语法树之间的距离,并且通过距离值来完成相似语法树的聚类操作。设E1和E2是两个语法树结点,如果存在两个变换〇1和〇2,使得〇1(E1和记(E)=E2,则称E是E1和E2共同的规约形式。Anti-unification算法的目的就是针对给定的结点E1和E2,找到所需变换次数最少的E。
将anti-unitification算法应用于树T1和T2则是指替换T1和T2子树中的特殊结点