形式语言，自动机理论与计算导论
点击看大图基本信息
- 原书名：Introduction to Formal Languages,Automata Theory and Computation
- 原出版社： Dorling Kindersley Pvt.Ltd.
- 作者： (印)Kamala Krithivasan Rama R [作译者介绍]
- 译者： 孟宇龙 李健利 王宇华
- 丛书名： 国外计算机科学教材系列
- 出版社：电子工业出版社
- ISBN：9787121153945
- 上架时间：2012-2-6
- 出版日期：2012 年2月
- 开本：16开
- 页码：317
- 版次：1-1
- 所属分类：
计算机 > 计算机科学理论与基础知识 > 计算理论 > 综合
内容简介回到顶部↑
《形式语言，自动机理论与计算导论》主要介绍形式语言、自动机理论及可计算性，主要内容包括：本学科的基础知识、文法、有限状态自动机理论、有限状态自动机变形、下推自动机、图灵机和可计算理论、复杂性原理、时空复杂度、np完全问题、dna计算、膜计算以及本学科一些前沿理论等。全书包含大量的例子和图表，便于读者对定义、定理的理解。最后，由浅入深地给出了两套选择题并附有答案，方便教学。
《形式语言，自动机理论与计算导论》适合作为计算机专业高年级本科生或研究生计算理论课程的教材和参考书，也可作为计算机研究人员的参考书。
《形式语言，自动机理论与计算导论》适合作为计算机专业高年级本科生或研究生计算理论课程的教材和参考书，也可作为计算机研究人员的参考书。
作译者回到顶部↑
本书提供作译者介绍
Kamala Krithivasan，马德拉斯大学博士，1975年进入印度理工学院马德拉斯分校(IIMT)参加工作。计算机科学与工程学院教授，1992-1995年担任院长，在IIMT有着30余年的教学和研究经验。她的研究方向包括形式语言理论、非传统模型计算(如DNA计算)、膜计算以及离散分层计算等。Kamala教授是1986年福尔布莱特学术奖金的获得者，同时还是印度国家工程学会的会员。
Rama R，1989年在安娜大学获得博士学位。进入印度理工学院马德拉斯分校(IIMT)担任副教授之前，曾在安娜大学工程学院任教。2006年晋职为教.. << 查看详细
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
第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
加载中...
