可逆计算理论中的Delta合并算法_canonical