两大类形式化方略-科学网—博客.PDF

30 9 Vol. 30 No． 9 第 卷第 期 计算机应用与软件 2013 9 Computer Applications and Software Sep． 2013 年 月 两大类形式化方略 邹晓辉* 邹顺鹏 ( ( ) ( ) 100083) 中国地质大学 北京 高等教育研究所 加州大学伯克利分校塞尔研究中心 北京 。 ， : ( ); 摘 要 阐述机器翻译的两大类形式化方略 其中 第一大类形式化方略涉及 编程语言和英语 自然语言 第二大类形式化方 : 、 、 ( ) ， 。 略涉及 二进制数与十进制数 十进制数与汉字中文 中文和英文 可换 三类双语协同变换 属于形式化及其拓展研究领域 其结 : 。 : ， 果是 凸显了第二大类形式化方略 其意义是 揭示了其理论依据 并为含语言学在内的学科知识系统工程提供了广义双语信息处 ， 。 理技术 有利于母语为非英语的计算机用户改善人机对话的语言环境 关键词 机器翻译 形式化 双语信息处理 中图分类号 TP3 － 05 TP391． 7 文献标识码 A DOI :10． 3969 /j． issn． 1000-386x． 2013． 09． 054 TWO MAJOＲ CATEGOＲIES OF FOＲMAL STＲATEGY * Zou Xiaohui Zou Shunpeng ((UC Berkeley Searle Ｒesearch Center)Institute for Higher Education ，China University of Geosciences，Beijing 100083 ，China) Abstract This article aims at explaining the two major categories of formal strategy for machine translation． Among them ，the first category of formal strategy involves the programming languages and the English (natural language ) ，while the second category of formal strategy involves the binary and decimal ，the decimal numbers and the Chinese characters ，the Chinese and the English (alterable)，they are three types of bilingual co-transformation belonging to formalisation a