程序转换方法是由一程序转换至与之等价的另一程序的方法。