最 低 价：￥43.10
| Kamala Krithivasan，马德拉斯大学博士，1975年进入印度理工学院马德拉斯分校(IIMT)参加工作。计算机科学与工程学院教授，1992-1995年担任院长，在IIMT有着30余年的教学和研究经验。她的研究方向包括形式语言理论、非传统模型计算(如DNA计算)、膜计算以及离散分层计算等。Kamala教授是1986年福尔布莱特学术奖金的获得者，同时还是印度国家工程学会的会员。 Rama R，1989年在安娜大学获得博士学位。进入印度理工学院马德拉斯分校(IIMT)担任副教授之前，曾在安娜大学工程学院任教。2006年晋职为教.. << 查看详细 |
| 《形式语言，自动机理论与计算导论》 第1章 基础知识 1 1. 1 集合，关系和函数 1 1. 2 证明方法 4 1. 3 图 6 1. 4 语言:基本概念 7 问题与解答 10 习题 12 第2章 文法 14 2. 1 文法的定义和分类 15 2. 2 二义性 24 2. 3 cfg 的化简 28 2. 4 范式 31 问题和解答 36 习题 39 第3章 有限状态自动机 44 3. 1 确定有限状态自动机(dfsa) 45 3. 2 不确定有限状态自动机(nfsa) 47 3. 3 正则表达式 51 问题与解答 56 .习题 61 第4章 有限自动机:特征、性质和可判定性 65 4. 1 有限自动机和正则文法 65 4. 2 正则集的泵浦引理 66 4. 3 封闭性 68 4. 4 可判定性定理 70 问题和解答 71 习题 71 第5章 带输出的有限状态自动机及其最小化 73 5. 1 myhill鄄nerode 定理 73 5. 2 带输出的有限自动机 77 问题与解答 79 习题 81 第6章 有限自动机的变形 83 6. 1 双向有限自动机 83 6. 2 多头有限状态自动机 88 6. 3 概率有限自动机 89 6. 4 加权有限自动机和数字图像 92 问题与解答 105 习题 108 第7章 下推自动机 110 7. 1 下推自动机 110 7. 2 空栈接受和终态接受的等价 113 7. 3 cfg 和pda 的等价 114 问题与解答 121 习题 124 第8章 上下文无关文法性质与分析 126 8. 1 cfl 的泵引理 126 8. 2 cfl 的封闭性 127 8. 3 cfl 的判定性质 130 8. 4 cfl 的子群 132 8. 5 帕里克映射与帕里克定理 134 8. 6 自嵌入性 138 8. 7 同态下的特性 139 问题与解答 141 习题 144 第9章 图灵机 147 9. 1 作为接受器的图灵机 148 9. 2 作为计算设备的图灵机 157 9. 3 图灵机的构造技术 164 问题与解答 168 习题 172 第10章 图灵机的变形 175 10. 1 通用版本 175 10. 2 受限图灵机 179 10. 3 作为枚举器的图灵机 181 10. 4 图灵机和0 型语言的等价 182 10. 5 线性有界自动机 183 10. 6 歌德尔编号 184 问题与解答 185 习题 187 第11章 通用图灵机及可判定性 189 11. 1 图灵机的编码和枚举 189 11. 2 递归和递归可枚举集 189 11. 3 通用图灵机 192 11. 4 问题，实例和语言 195 11. 5 莱斯定理 195 11. 6 规约问题以证明不可判定性 197 11. 7 波斯特对应问题 198 11. 8 可计算函数 204 问题与解答 208 习题 209 第12章 时间与空间复杂度 211 12. 1 ram 模型 211 12. 2 图灵机的时间与带复杂度 214 问题与解答 228 习题 232 第13章 最近的趋势及应用 233 13. 1 正则重写 233 13. 2 马库斯上下文文法 241 13. 3 林登麦伊尔系统 248 13. 4 文法系统及分布式自动机 256 第14章 一些新的计算模型 273 14. 1 dna 计算 273 14. 2 膜计算 282 单项选择题(i) 296 答案 303 单项选择题(ii) 304 答案 311 参考文献 312 |
内容加载中，请稍后...
商品评论（0条）