基本信息
- 原书名：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
- 所属分类：计算机 > 计算机科学理论与基础知识 > 计算理论 > 综合
内容简介
作译者
Kamala Krithivasan，马德拉斯大学博士，1975年进入印度理工学院马德拉斯分校(IIMT)参加工作。计算机科学与工程学院教授，1992-1995年担任院长，在IIMT有着30余年的教学和研究经验。她的研究方向包括形式语言理论、非传统模型计算(如DNA计算)、膜计算以及离散分层计算等。Kamala教授是1986年福尔布莱特学术奖金的获得者，同时还是印度国家工程学会的会员。
Rama R，1989年在安娜大学获得博士学位。进入印度理工学院马德拉斯分校(IIMT)担任副教授之前，曾在安娜大学工程学院任教。2006年晋职为教授并任教至今。Rama教授拥有20余年的教学和研究经验，并且指导过四位研究生的博士论文。她的研究领域是形式语言与自动机和自然计算。同时，她也是印度工业教育学会的终身会员。
Rama R，1989年在安娜大学获得博士学位。进入印度理工学院马德拉斯分校(IIMT)担任副教授之前，曾在安娜大学工程学院任教。2006年晋职为教授并任教至今。Rama教授拥有20余年的教学和研究经验，并且指导过四位研究生的博士论文。她的研究领域是形式语言与自动机和自然计算。同时，她也是印度工业教育学会的终身会员。
目录
《形式语言，自动机理论与计算导论》
第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
