国外语言学译丛：语言研究的数学方法

　　符号表
　　序言
　　第一部分 集合论
　　第一章 集合论的基本概念
　　1．1 集合的概念
　　1．2 集合的性质
　　1．3 集合论的恒等和势
　　1．4 子集
　　1．5 幂集
　　1．6 并和交
　　1．7 差和补
　　1．8 集合论的等式
　　练习
　　……
　　第二章 关系与函数
　　第三章 关系的性质
　　第四章 无限
　　第二部分 逻辑和形式系统
　　第五章 逻辑和形式系统的基本概念
　　第六章 命题逻辑
　　第七章 谓词逻辑
　　第八章 形式系统、公理化与模型理论
　　第三部分 代数
　　第九章 代数的基本概念
　　第十章 运算结构
　　第十一章 格理论
　　第十二章 布尔代数和海廷代数
　　第四部分 作为形式语言的英语
　　第十三章 基本概念
　　第十四章 广义量词
　　第十五章 内涵性
　　第五部分 语言、语法与自动机
　　第十六章 基本概念
　　第十七章 有限自动机、正则语言与3型语法
　　第十八章 后进先出自动机、上下文无关语法与上下文无关语言
　　第十九章 图灵机、递归可枚举语言与O型语法
　　第二十章 线性有界自动机、上下文有关语言及1型语法
　　第二十一章 介于上下文无关语言和上下文有关语言之间的语言
　　第二十二章 转换语法
　　参考书目
　　英文索引
　　译名表

　　    芭芭拉·帕赫蒂，著名晤言学家，美国马萨诸塞大学阿默斯特分校语言学及哲学系荣体教授。曾任美国语言学会会长。主要著作除本书外。还有《形式语卫学中的组台性：帕赫蒂文选》、《蒙太古语法》《蒙太古语法和转换语法》等近二十部。爱丽丝·特缪伦著名数理语占学家，曾任职德国普朗克研究所。并先后任救于荷兰格罗宁根大学，美国华盛顿大学，印第安那大学。目前是瑞士日内瓦大学教授。出版或编辑过九部专著和文集，其中除本书外．她与边沁合编的《逻辑和语言手册》一书在国际语言学界享有盛誉。罗伯特沃尔，著名计算语言学家、数理语言学家。

　　    《国外语言学译丛：语言研究的数学方法》由欧美当代数理语言学家联合力作，欧美大学语言学系经典教材，为目前各个语种中完善的版本。涵盖离散数学几乎所有内容，尤其包括和语言研究密切相关的部分。《国外语言学译丛：语言研究的数学方法》分为五部分，分别为：集合论；逻辑和形式系统；代数；作为形式语言的英语；语言、语法与自动机。每章后附大量练习，每部分后附复习题，并配有练习答案，帮助加深对所学内容的理解。本书既适合课堂教学，也适合自学。可供研究语言学、计算机科学、人工智能以及自然语言处理有兴趣的学者、研究生及高年级本科生使用。