第三代机器翻译系统。产生于本世纪七十年代以后，目前正处于探索阶段。其特点是：⑴引入语义平面，以语义转换为中心。如采用*优选语义学来分析语言，源语分析和目的语转换都不必经过形态分析和句法分析等中间阶段，相应的信息由语义信息单位直接表示出来。⑵以语义为主的系统必须超出句子的范围来考虑问题，除了语素、词、短语、句子的自动加工之外，还要考虑大于句子的句段和文章的整体自动加工。这与把加工范围局限在句子之内的第一、第二代机器翻译系统完全不同了。参见“以词汇为主的机器翻译系统”、“以句法为主的机器翻译系统”。
算子(语言)：也叫“算符”。逻辑、数学和物理学中对某些变换(映射)或运算的称呼。如在命题逻辑中，、、V、→、←→等分别称为否定算子、合取算子、析取算子、蕴涵算子和等值算子；在模态逻辑中，通常把□或L称为必然算子，◇或..
公理化方法(语言)：现代逻辑的基本方法。把一个科学理论公理化，就是用公理方法研究它，建立一个公理系统。每一科学理论都是由系列的概念和命题组成的体系，公理化的实现就是：⑴从它的诸多概念中挑选出一组初始概念，而不加定义..
以句法为主的机器翻译系统(语言)：第二代机器翻译系统。产生于本世纪六十年代以后，是目前世界上广泛采用的机器翻译系统。其特点是：⑴以句法转换为中心，首先用代码化的结构标志来标记源语文句的结构，再把源语的结构标志转换..
形式化方法(语言)：现代逻辑的基本方法。把一个理论形式化就是把理论中的概念转换为形式语言中的符号，命题转换为符号公式，定理的推演转换成符号公式的变形，并把一个证明转换成符号公式的有穷序列。由于形式语言的符号和它..
机器翻译(语言)：指利用计算机自动翻译自然语言。它以语言学、数学和计算机科学为基础：语言学家提供适合于计算机加工的词典和语法规则，数学家把语言学家提供的材料形式化、代码化，计算机科学家给机器翻译提供软件手段和硬..