自动机引论PDF格式文档图书下载
- 购买点数:12 点
- 作 者:陶仁骥著
- 出 版 社:北京:科学出版社
- 出版年份:1986
- ISBN:15031·754
- 标注页数:332 页
- PDF页数:341 页
目录 1
第一章 有限自动机的逻辑网络实现 1
1.1有限自动机的定义 1
1.2逻辑网络的定义 5
1.3有限自动机与合式网络的等价性 13
习题 19
第二章 状态化简 26
2.1有限自动机的极小化 26
22状态等价类的求法 32
2.3偏有限自动机的极小化 36
习题 46
第三章 正规集 55
3.1有限识别器和迁移图的等价性 55
3.2基本定理 64
3.3正规集的封闭性质 70
习题 73
第四章 线性有限自动机 80
4.1初等性质 80
4.2状态化简和标准化 87
4.3z变换 101
习题 111
第五章 自治有限自动机 116
5.1一般情形 116
5.2线性情形 119
习题 128
第六章 状态识别试验 132
6.1初态试验序列 132
6.2末态试验序列 138
6.3同步序列 141
习题 144
第七章 存贮性 147
7.1输入输出存贮 147
7.2输入存贮 153
习题 158
第八章 可逆性 162
8.1有限延迟性和逆的存在性 162
8.2误差传播与前馈可逆 172
习题 179
第九章 通用自动机 184
9.1自动机的定义 184
9.2归约 190
9.3定长字变换 205
9.4两种通用自动机 210
习题 221
第十章 图灵机 224
10.1图灵机的定义 224
10.2图灵机与自动机的等价性 231
习题 241
11.1递归函数的可计算性 247
第十一章 递归函数 247
11.2可计算函数的递归性 259
11.3自然数上递归函数 272
11.4半可计算谓词与自动机可识别集 279
习题 283
第十二章 不可判定问题 288
12.1停机问题 288
12.2波斯特对应问题 290
习题 293
第十三章 时空限制下的计算 295
13.1阿克曼函数时间界限下的计算 295
13.2阿克曼函数空间界限下的计算 309
13.3复杂性类之间的关系、Pr和Pr(θ)的分层 313
习题 323
常用符号和术语 325
参考文献 331
- 《自动机引论》陶仁骥著 1986
- 《线性自动机引论》管纪文 1986
- 《自动机创新学引论》梁世瑞著 2007
- 《自动推理引论及其应用》周祥和等编译 1987
- 《形式语言与自动机理论引论》蒋宗礼,姜守旭编著 2017
- 《机械制造工艺过程自动化引论》熊崇武主编 1991
- 《自动控制理论 3 第5章 线性系统理论引论 7》上海市科学技术协会 2222
- 《自动控制理论 3 第5章 线性系统理论引论 6 状态反馈问题》上海市科学技术协会 2222
- 《自动控制理论 3 第5章 线性系统理论引论 8 灵敏度分析》上海市科学技术协会 2222
- 《自动控制理论 3 第5章 线性系统理论引论 9 线性系统的对偶原理》上海市科学技术协会 2222
- 《自动机引论》陶仁骥著 1986
- 《有限自动机的可逆性》陶仁骥著 1979
- 《沧桑人世》徐仁骥著 1984
- 《有限自动机及在密码学中的应用》陶仁骥 2008
- 《密码学进展-CHINACRYPT'92 第二届中国密码学学术会议论文集》陶仁骥等编 1992
- 《医学生英汉小词典》徐仁骥主编;徐仁骥,马瑛,杨仁杰等编 1988
- 《沧桑人生》徐仁骥 1984
- 《中国武术基础功法》陶仁祥著 1989
- 《取经路上五十年》六龄童囗述;陶仁坤整理 1988
- 《中国民间掌故精选 2》李祥荪,陶仁煦编著 2000
- 《Townsend Press 英语词汇学习丛书 英语词汇入门 第2版》(美)纳代尔(Nadell.J)等编著 2018
- 《THE GOVERNMENT/PRESS CONNECTION PRESS OFFICERS AND THEIR OFFICES》STEPHEN HESS 1984
- 《PRESS》POLITICS & PUBLIC OPINION IN BIHAR 1912-1947 2010
- 《Press law》Robin Callender Smith. 1978
- 《SUING THE PRESS》RODNEY A.SMOLLA 1986
- 《THE PRESS AND AMERICA》 2222
- 《FREEDOM OF THE PRESS》ERIC BARENDT 2009
- 《FREEDOM OF THE PRESS》ROB EDELMAN 2006
- 《FREEDOM OF THE PRESS》DAVID L.GEBERT 2005
- 《Racism and the press》Teun A.van Dijk 2016