形式语言与自动机导论
内容简介
本书是理论计算机科学方面的优秀教材，主要介绍形式语言、自动机、可计算性和相关内容。本书特别注意定义、定理的准确性和严格性，在定理的证明中给出了直观的动机和框架，避免多余的数学细节，这有利于培养学生形式化和严格的数学推理能力，加强对问题的理解；本书通过精心设计的大量示例，生动剖析了各种定理和定义，概念清晰，深入浅出。每章后面还给出了难度不同的习题，并给出部分习题的解答，可使学生加深对基本原理的...
该书热门标签
- 最新
- 热门
-
0
黑米粥
2013-01-05
永远在Helping Sun的监督下
-
0
TheLadiesChoice
2015-12-28
简单了一点
-
0
dolphin
2009-12-24
特别适合初学，很直观，过渡很平滑
-
0
胖达子
2010-06-05
这书不错，现在已经Fifth Edition了
-
0
Earthson
2012-05-10
这本书差不多看了2/3吧，后面的图灵机和计算复杂度就看别的书了（手头还有两本，囧）
-
0
王晓辰
2011-11-10
有难度……
-
0
张觉非
2012-03-08
导论，不厚
-
0
zhuth
2012-11-23
| TP301.2/L61
-
0
zèt
2013-12-12
严谨的证明贯穿全书..
-
0
黑米粥
2013-01-05
永远在Helping Sun的监督下
-
0
TheLadiesChoice
2015-12-28
简单了一点
-
0
dolphin
2009-12-24
特别适合初学，很直观，过渡很平滑
-
0
胖达子
2010-06-05
这书不错，现在已经Fifth Edition了
-
0
Earthson
2012-05-10
这本书差不多看了2/3吧，后面的图灵机和计算复杂度就看别的书了（手头还有两本，囧）
-
0
王晓辰
2011-11-10
有难度……
-
0
张觉非
2012-03-08
导论，不厚
-
0
zhuth
2012-11-23
| TP301.2/L61
-
0
zèt
2013-12-12
严谨的证明贯穿全书..
我要写长评
书评
有什么“读后感”吗？您可点击右上角“我要写长评”来进行评价噢。
评价“形式语言与自动机导论”