源程序到目标程序的变换是等价变换,即两者结构不同,但语义是一致的。
出自:计算机科学