第一章 离散数学与语言 1
1． 逻辑与集合 1
1．1 逻辑语言 1
1．2 英语辅音和集合论的基本概念 9
1．3 集合的几种记法，空集，通集 11
1．4 对立与集合运算 13
2． 函数与关系 17
2．1 函数与关系的基本概念 17
2．2 关系的性质 22
2．3 等价关系 26
2．4 偏序关系和全序关系 28
3． 成分结构树 30
3．1 支配关系 32
3．2 前于关系 33
3．3 标记 34
3．4 成分结构树的几个性质 35
3．5 属于，句友和统率 35
4． 代数结构 37
4．1 运算 37
4．2 运算的性质 38
4．3 包含运算的数学构形 42
4．4 群和子群 42
4．5 独异点和子独异点 45
4．6 半群 47
4．7 符号串 47
4．8 毗连 48
4．9 语言是词的集合上的自由独异点 49
5． 递归 50
5．1 递归定义 50
5．2 归纳 53
5．3 公理系统 54
5．4 扩展公理系统 56
5．5 半Thue系统 58
第二章 代数语言学 60
1． 形式文法和转换文法 60
1．1 形式文法的概念 60
1．2 形式文法的类型 64
1．3 有限状态文法 66
1．4 上下文自由文法 72
1．5 上下文敏感文法和0型文法 85
1．6 上下文自由文法在描写自然语言方面的缺陷 88
1．7 转换文法的数学模型 89
2． 自动机 92
2．1 自动机与文法的关系 92
2．2 有限自动机 93
2．3 图灵机 95
2．4 后进先出自动机 98
2．5 线性有界自动机 102
2．6 自动机在自然语言处理中的作用及其局限 105
3． 语言的集合论模型 106
3．1 集合论模型的三个初始概念 106
3．2 B-划分 107
3．3 B-结构 108
3．4 B-等价 109
3．5 型和词类 109
3．6 简单语言 110
3．7 B-构形 112
3．8 名词的语法性 115
3．9 语言集合论模型的效用 118
4． 句法类型演算 120
4．1 句法类型 120
4．2 演算规则 121
4．3 动词短语的句法类型演算 125
5． 蒙太格文法 131
5．1 蒙太格文法的两个来源 131
5．2 深层结构与表层结构 131
5．3 深层结构的内涵逻辑表达式 133
5．4 蒙太格文法的语义理论 138
第三章 统计语言学 140
1． 统计语言学的基本概念 140
1．1 必然事件和随机事件 140
1．2 频率和概率 141
1．3 抽样 144
2． 语言成分的统计研究 149
2．1 频率词典的编写 149
2．2 词的序号分布规律 151
2．3 语言使用中的某些统计规律 157
2．4 用计算机作词语统计研究 160
3． 语言与信息 164
3．1 语言的使用是一个随机过程 164
3．2 熵和多余度 169
第四章 应用数理语言学 175
1． 信息语的设计 175
1．1 信息语的概念 175
1．2 信息语的设计方法 175
2． 语言自动处理方法的研究 177
2．1 预示分析法 177
2．2 扩充转移网络 187
2．3 通用句法生成器 191
2．4 文句的自动生成方法 194
3． 机器翻译 199
3．1 机器翻译概述 199
3．2 英汉机器翻译系统 201
3．3 汉—法、英、日、俄、德多语言机器翻译系统 204
4． 自然语言理解 214
4．1 SAD-SAM系统 214
4．2 BASEBALL系统 215
4．3 SIR系统 216
4．4 STUDENT系统 218
4．5 LUNAR系统 220
4．6 SHRDLU系统 221
4．7 MARGIE系统 224
4．8 SAM系统和PAM系统 229
4．9 RJD-80汉语人机对话系统 237
结语 240
专门名词索引 243
外国人名索引 249