| 气泡排序 | bubble sort | 排序方法的一种。其基本思想是逐次进行相邻两个记录的比较，不满足排序要求的则进行交换。 | ||
| 中文字符集 | Chinese character set | 中文字形的集合。主要作用是为汉字输入设备提供汉字的字形数据。 | ||
| 0型文法 | type 0 grammar | 0型文法的规则形如：u::=v，其中u,v为符号串，且u非空。0型文法的相应语言称为0型语言，又称为递归可枚举集合。0型语言是不可判定的。 | ||
| 1型文法 | type 1 grammar | 1型文法的规则形如：xUy::=xuy，其中U为非终结符号，x,y,u为符号串，且u非空。1型文法又称为上下文相关文法。1型文法是可判定的，但是现在没有找到有效的判定方法。 | ||
| 2型文法 | type 2 grammar | 2型文法的规则形如：U::=u，其中U是非终结符号，u是符号串。2型文法又称为上下文无关文法。一般的程序设计语言的语法都使用2型文法描述。2型文法是可判定的，且有有效的判定方法。 | ||
| 3型文法 | type 3 grammar | 文法规则的规则形如：U::=T或者U::=WT，其中U，W是非终结符号，T是终结符号。3型文法又称为正则文法，其语言也称为正则语言。 | ||
| 标记图 | labelled graph | 标记图是在每条边上加注了标记的图。 | ||
| 标准形式 | standard form | 对重复性事物和概念所做的统一规定的一种表达方式。 | ||
| 产生式语言 | production language | 是一种常用的知识表示语言。描述一个(或一些)事件的存在导致另一事件的产生。用符号方法表述如下： if A then B 或A?→?B 其中A称为前件；B称为后件；→表示由A为真导致B为真。 |
||
| 传递性 | transitivity | 是关系的一种属性。如果关系R 有传递性，若元素a和b之间有关系R，元素b和c之间有关系R，则 推断出元素a和c之间有关系R。在关系图中，有从a到b的弧，有从b到c的弧，则有从a到c的弧。 | ||
| 词性 | part of speech | 词的语法属性。 | ||
| 词型 | type | 词汇研究测量词汇密度时使用的术语。型-例子比例（type-token ratio）是在一个样篇样品中不同的词（型（type））的全部数目与实际出现的词（例（token））的全部数目的比率。 | ||
| 词例 | token | 词在文本中表现出的实例。词汇研究测量词汇密度时使用的术语。型-例子比例（type-token ratio）是在一个样篇样品中不同的词（型（type））的全部数目与实际出现的词（例（token））的全部数目的比率。 | ||
| 词形式 | word form | 一个单词的发音和原始拼写形式。一般单词的变形形式是由词干和附着在其上的一系列变形词缀组成的。 | ||
| 等价关系 | equivalence relation | 设R为定义在集合A上的一个关系，若R是自反的、对称的和传递的，则R为等价关系。 | ||
| 递归定义 | recursive definition | 为了描述问题的某一状态，必须用到它的上一状态，而描述上一状态，又必须用到它的上一状态，......。这种用自已来定义自己的方法，称为递归定义。 | ||
| 短语 | phrase | 语法分析术语，指单一的结构成分，一般包含不止一个词而又没有一般小句具有的主语-谓语结构。 | ||
| 对称关系 | symmetric relation | 对于集合A上的某种关系R，如果A中元素a1和A中元素a2有关系R，则a2与a1也有关系R，那么，集合A上的关系R是对称关系。 | ||
| 翻译程序 | translator | 将源语言翻译为目标语言的程序。 | ||
| 翻译模式 | translation scheme | 进行机器翻译时所采用的方式。 | ||
| 组合 | compositionality | 认为语言是由较小单位构成较大单位的一种观点。 | ||
| 基本运算 | elementary operation | 加、减、乘、除和取整运算中的一种。 | ||
| 链 | chain | 链是一种数据类型，数据对象实例的每个元素都放在单元或节点中进行描述，每个节点中有包括了与该节点相关的其他节点的位置信息。 | ||
| 链长 | length of a chain | 链表中所包含的单元或节点的个数。 | ||
| 流程图 | flowchart | 应用箭头和各种形状的方框表示控制的流程或事件进展的过程，使其直观、易懂的一种图形形式。 | ||
| 命题演算 | proposition calculus | 由命题与命题联结词构成的更复杂命题，以及这样构成的命题间的推理关系的运算。 | ||
| 模式识别 | pattern recognition | 所谓模式是指人认识具体事物或现象时，按照规定的相似性抽象出来的分类。所谓模式识别是指按模式抽象对事物或现象进行分类，辨识类的特征而做出判断的过程。模式识别是研究人类识别能力的数学模型，并借助于计算机技术实现对其模拟的科学。 | ||
| 内涵逻辑 | intensional logic | 应用内涵和外延算子将一个词项与它在上下文中的具体意义加以区别的一种逻辑。 | ||
| 派生 | derivation | 派生就是经过一系列的合乎逻辑的运算步骤，从一个结果到达另一个结果的过程。 | ||
| 派生树 | derivation tree | 派生过程中，各派生出来的对象所组成的层次化结构关系，称为派生树（或继承树)。 | ||
| 歧义文法 | ambiguous grammar | 所谓歧义就是一个字词串经过文法分析器后产生多个合格输出的现象，或者说歧义指的是同一句子可能有几个符合句法解释的现象。歧义文法是指同一语法形式可以表示多种语法意义。 | 二义性文法、含混文法 | |
| 乔姆斯基文法 | Chomsky grammar | 以乔姆斯基为首的一些语言学家在50年代建立起来的一种形式语言理论体系，语言的文法被分成4种类型，即0型(短语文法)、Ⅰ型(上下文有关文法)、Ⅱ型(上下文无关文法)和Ⅲ型(正规文法)。 | ||
| 圈 | cycle | 若图中的一条路经，除了起点和终点相同外，其余的顶点均不相同，则称此路径为简单回路或圈。 | ||
| 全序集 | total ordered set | 设£是集合A 上的二元关系，如果对于A中任意两个元素a, b，必有a £ b或b £ a，则称 £是A上的全序关系（或线性次序关系）。若集合A具有全序关系£ 或R，则称A为全序集或线性次序集，记为(A, £)或(A, R) 。 | ||
| 树 | tree | 生成语法采用的一种二维图形表示，能方便地显示由一组规则生成句子的内部层级结构。 | ||
| 范畴语言 | categorial language | 用范畴语法生成的语言。 | ||
| 算术表达式 | arithmetic expression | 算术表达式是由算术运算符和括号连接起来的式子。 | ||
| 算子文法 | operator grammar | 类似于依存文法、范畴文法以及数学逻辑中的谓词演算，它识别操作符，施事，受事并进行相应运算。 | ||
| 算子优先文法 | operator precedence grammar | 算子文法的一种，在每对终极符号之间必存在一种优先关系。 | ||
| 算子优先语言 | operator precedence language | 可由算子优先文法生成的语言，称为算子优先语言。 | ||
| 算子语言 | operator language | 算子定义语言是一个精简指令集，这些指令完整地定义了一个算子。 | ||
| 特征函数 | characteristic function | 一个集合的特征函数是二值函数。如果一个逻辑论述是集合的一个成分，则此时该集合的特征函数为真值，否则，若逻辑论述不属于集合，这特征函数为假。 |
