源程序到目标程序的变换是等价变换，即两者结构不同，但语义是一致的。