1) translator routine
翻译例程
2) translating routine
翻译例行程序
3) example translation
例证翻译
1.
The ideal example translation can achieve formal correspondence as well as meaning equivalence.
理想的例证翻译是既做到意义等值,又做到形式对应。
2.
So is that of example translation in bilingual dictionaries.
翻译评论是翻译研究的一个棘手问题,对双语词典中的例证翻译而言,情况更为复杂。
3.
The same is example translation in bilingual dictionaries, and hence the skopos of example translation becomes the most fundamental element for systematic research in the regard.
例证翻译同样如此，因而，例证翻译所依附的目的性就成为例证翻译系统研究中的一个关键性的基本问题。
4) the example translation
例证翻译
1.
Iconic principle is applied to the study of the example translation in English-Chinese dictionaries.
英汉词典中例证翻译的特殊性使它有别于词典中的词目译义和文学翻译。
2.
b) Compared with the literary translation, the example translation has to be revolved round the entry terms and pursue the rational balance.
双语词典中的例证翻译既不同于词典中的词目翻译,也不同于文学翻译,有其自身的特殊性。
5) style for translation
翻译体例
6) translation examples
翻译实例
1.
However, research on translation examples acquisition seems still weak.
翻译实例是基于实例的机器翻译译文的来源,翻译实例获取方法研究也是提高译文质量的关键环节。
补充资料：程序的翻译
程序的翻译
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。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条