- 作 者：（美）金斯伯格（S.Ginsdurg）著；陈力行译
- 出 版 社：济南：山东大学出版社
- 出版年份：1986
- ISBN：13338·14
- 注意：在使用云解压之前，请认真核对实际PDF页数与内容!
在线云解压
价格(点数)
购买连接
说明
转为PDF格式
10
（在线云解压服务）
云解压服务说明
1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。
云解压下载及付费说明
1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
序言 1
预备知识 1
第一章：上下文无关与类ALGOL语言 1
1.1 短语结构语言 1
1.2 类ALGOL语言 9
1.3 等价性 12
1.4 辅助引理 17
1.5 派生树 23
1.6 岐义性 31
1.7 置换 39
1.8 ε无关文法 42
1.9 历史参考资料 51
2.1 有穷状态接受器和正规集合 52
第二章：接受器和语言 52
2.2 线性生成式 58
2.3 一类特殊形式的语言 63
2.4 下推接受器 68
2.5 描述 73
2.6 确定的语言 89
2.7 历史参考资料 101
第三章 运算 102
3.1 非语言 102
3.2 交和差 107
3.3 时序转换器映射 111
3.4 Gsm映射的描述 120
3.5 下推转换器 127
3.6 特殊运算 131
3.7 同态描述 137
3.8 历史参考资料 143
第四章：可判定性 144
4.1 可解性结果 145
4.2 基本的不可判定问题 148
4.3 Gsm映射 161
4.4 Pdt映射 169
4.5 岐义性 174
4.6 历史参考资料 176
第五章：有界语言 177
5.1 基本术语 177
5.2 Parikh定理 182
5.3 结构 187
5.4 描述 198
5.5 识别 212
5.6 其他判定问题 220
5.7 历史参考资料 230
第六章：先天岐义性 231
6.1 a1*...an*中的先天岐义语言 231
6.2 有界先天岐义语言 246
6.3 判定程序 260
6.4 历史参考资料 264
附录：定理5.6.2的证明 265
参考文献和有关文章 274
索引： 287
符号 287
作者 288
主题 290