补充资料：程序的翻译

程序的翻译
translation of programs

程序的翻译【transla丘价of脚理邓1115;TPaHc月，”一皿upo-rPaMM」 l)程序设计(progi刊rnm山g)中程序的翻译，也称为程序的编译(comP血tionofProgr~)，是一个系统过程，它把用输人(卿ut)算法语言(魂。ritir而cla列孚坦ge)Ll编写的程序iP变换成用目标(。均ect)语言Lo编写的某个程序。几进一步，两个程序iP和op应该实现同样的功能，即如果d是程序的输人数据，则iP(d)兰oP(d). 2)在可计算函数(c Olnputa比加!Ictjon)理论和算法理论(目gorithn昭，theoryof)中，程序的翻译是从可计算函数的一个枚举(Cll切rneration)到另一个枚举的任何映射，它保持这样的性质:图象和预图象是同一函数的数目(一个有效的翻译映射的存在也称为从一个枚举到另一个枚举的可归约性(reducibiUty)). 在程序设计实践中，人们使用的程序设计语言(Progla几切山ng hngjage)通常是输人语言，而目标语言通常是由机器程序直接执行的语言.程序翻译本身，通常是自动执行的，即用某个实现语言LR写的程序t，称为翻译程序(trans址or)(或编译程序(com-piler))，使t(ip)=口p.对某些类语言中的任何输人语言Ll的翻译程序的系统开发构成自动程序设计(a ut0Inatic prog丑~ng)，这种开发的对应手段称为编译程序构造系统(systeTns of comPiler constructlon)或编译程序的编译程序(co呷ilers of co哪ilers)，tr:tt(Ll)=t.这里，实现语言或者包含目标语言或者和它相符合:LO二LR. 在可计算函数的理论中程序翻译(可归约性)的概念导致主枚举(pnnc巾al~rations)的概念，即某个类的任何其他枚举能被归约到主枚举.已经证明对所有可计算函数的具体模型存在主可计算枚举;特别对部分递归函数和对Turing机.再有，主可计算枚举的存在来源于可计算函数执行所谓部分计算(part词comPutations)的能力，即存在一般递归函数(在程序设计中，部分计算机(part阎comPuter);在可计算函数理论中，一个占一m一n函数)S，(x。，二，x，)，使得如果U”(x。，·，x，)是对n个变量的可计算函数的一个通用函数，则对任何。+n个变量的可计算函数F和数NF，有恒等式 F(x，，…，x，+。)=U“+”(NF，xl，…，x.+。)= =U”(S口(NF，xl，…，x，)，x，十l，…，x。十。)· 从这个恒等式可见，部分计算机由m+n个变量的函数的程序和m个变量的给定值构成n个变量的函数的程序，它是由原来的程序通过把它的m个变元同这些给定值联系起来而得到的.部分计算的结果称为程序NF在它的m个变元的给定值x，，…，x。

说明：补充资料仅用于学习参考，请勿用于其它任何用途。