数理语言学

1 (p1): 第1章 离散数学与语言
1 (p1-1): 1.1 逻辑与集合
1 (p1-1-1): 1.1.1 逻辑语言
12 (p1-1-2): 1.1.2 英语辅音和集合论的基本概念
15 (p1-1-3): 1.1.3 集合的几种记法，空集，通集
17 (p1-1-4): 1.1.4 对立与集合运算
23 (p1-2): 1.2 函数与关系
23 (p1-2-1): 1.2.1 函数与关系的基本概念
29 (p1-2-2): 1.2.2 关系的性质
35 (p1-2-3): 1.2.3 等价关系
38 (p1-2-4): 1.2.4 偏序关系和全序关系
41 (p1-3): 1.3 成分结构树
43 (p1-3-1): 1.3.1 支配关系
45 (p1-3-2): 1.3.2 前于关系
46 (p1-3-3): 1.3.3 标记
47 (p1-3-4): 1.3.4 成分结构树的几个性质
48 (p1-3-5): 1.3.5 属于，句友和统率
50 (p1-4): 1.4 代数结构
50 (p1-4-1): 1.4.1 运算
52 (p1-4-2): 1.4.2 运算的性质
57 (p1-4-3): 1.4.3 包含运算的代数系统
58 (p1-4-4): 1.4.4 群和子群
62 (p1-4-5): 1.4.5 幺半群和子幺半群
64 (p1-4-6): 1.4.6 半群
65 (p1-4-7): 1.4.7 符号串
66 (p1-4-8): 1.4.8 毗连
67 (p1-4-9): 1.4.9 语言是词的集合上的自由幺半群
69 (p1-5): 1.5 递归
69 (p1-5-1): 1.5.1 递归定义
73 (p1-5-2): 1.5.2 归纳
75 (p1-5-3): 1.5.3 公理系统
78 (p1-5-4): 1.5.4 扩展公理系统
80 (p1-5-5): 1.5.5 半图厄系统
83 (p2): 第2章 代数语言学
83 (p2-1): 2.1 形式文法和转换文法
83 (p2-1-1): 2.1.1 形式文法的概念
89 (p2-1-2): 2.1.2 形式文法的类型
92 (p2-1-3): 2.1.3 有限状态文法
100 (p2-1-4): 2.1.4 上下文无关文法
120 (p2-1-5): 2.1.5 上下文有关文法和0型文法
130 (p2-1-6): 2.1.6 上下文无关文法在描写自然语言方面的缺陷
132 (p2-1-7): 2.1.7 转换文法的数学模型
137 (p2-1-8): 2.1.8 MMT模型对于上下文无关文法的改进
151 (p2-2): 2.2 自动机
151 (p2-2-1): 2.2.1 自动机与文法的关系
152 (p2-2-2): 2.2.2 有限自动机
155 (p2-2-3): 2.2.3 图灵机
158 (p2-2-4): 2.2.4 后进先出自动机
163 (p2-2-5): 2.2.5 线性有界自动机
166 (p2-2-6): 2.2.6 自动机在自然语言处理中的作用及其局限
168 (p2-3): 2.3 语言的集合论模型
168 (p2-3-1): 2.3.1 集合论模型的三个初始概念
169 (p2-3-2): 2.3.2 B-划分
170 (p2-3-3): 2.3.3 B-结构
171 (p2-3-4): 2.3.4 B-等价
172 (p2-3-5): 2.3.5 型和词类
173 (p2-3-6): 2.3.6 简单语言
176 (p2-3-7): 2.3.7 B-构形
180 (p2-3-8): 2.3.8 名词的语法性
183 (p2-3-9): 2.3.9 语言集合论模型的效用
186 (p2-4): 2.4 句法类型演算
186 (p2-4-1): 2.4.1 句法类型
189 (p2-4-2): 2.4.2 句法类型演算规则
194 (p2-4-3): 2.4.3 动词短语的句法类型演算
202 (p2-5): 2.5 蒙德鸠文法
202 (p2-5-1): 2.5.1 蒙德鸠文法的两个来源
203 (p2-5-2): 2.5.2 深层结构与表层结构
205 (p2-5-3): 2.5.3 深层结构的内涵逻辑表达式
214 (p2-5-4): 2.5.4 蒙德鸠文法的语义理论
214 (p2-6): 2.6 树邻接文法
216 (p2-6-1): 2.6.1 树邻接文法的基本组成要素
218 (p2-6-2): 2.6.2 接插
220 (p2-6-3): 2.6.3 替换
221 (p2-6-4): 2.6.4 推导关系树
226 (p2-6-5): 2.6.5 卷绕操作
229 (p2-6-6):…