这个问题感觉类似程序的等价性判定。这个问题可能应该是属于计算理论中的不可判定问题。假设程序的等价性是可判定的，即存在等价性判定算法。那么只要随便写一个必然停机的程序，然后运用该等价性判定其他的程序，即可判定是否会停机。然而停机问题是已被证明是不可判定的，所以一定不存在等价性判定算法。即程序等价性是不可判定的。以上只是简单的证明思路，严格的证明就不作了。
