卡特福德在区分翻译中“形式对等”和“文本对应”的基础上,提出“转换”这一概念,作为处理原语和目标语之间差异的应对之策。而由于形式对等在不同语言之间几乎不可能完全实现,因此通过转换实现文本对应不可避免。原语文本《计算语言学的内部编码一致性》是典型的信息型文本,表义客观精确、行文逻辑严密、语言平实自然,力图向读者阐明计算语言学中一致性系数的发展、计算、理解及其应用。本报告主要以译例分析的形式,基于卡特福德翻译转换理论,通过层次转换,以及结构转换、单位转换和类别转换等范畴转换,对翻译中的难点进行了呈现和分析。笔者发现,层次转换可以应对英语中数、时态和比较格在汉语语法中的缺失;范畴转换可以弥合英汉语言中定语位置、肯定否定、人称物称、以及被动主动之间的差异,实现翻译单位在不同层级之间的自由转换,使译文更加流畅,还可以将英语的静态转换为汉语的动态,使之更加符合汉语的表达习惯;最后,为了从宏观层面上调和英语和汉语在衔接以及连贯方面的不同侧重,笔者尝试引入语篇转换,作为应用卡特福德翻译转换理论的补充。基于以上实践及分析,作者认为应用卡特福德翻译转换理论,能够较好地处理英汉语言之间的差异,达成对于信息型文本的翻译目的。