内容简介 · · · · · ·
本书是理论计算机科学方面的优秀教材，主要介绍形式语言、自动机、可计算性和相关内容。本书特别注意定义、定理的准确性和严格性，在定理的证明中给出了直观的动机和框架，避免多余的数学细节，这有利于培养学生形式化和严格的数学推理能力，加强对问题的理解；本书通过精心设计的大量示例，生动剖析了各种定理和定义，概念清晰，深入浅出。每章后面还给出了难度不同的习题，并给出部分习题的解答，可使学生加深对基本原理的理解并增强应用能力。 本书主要介绍形式语言、自动机、可计算性和相关内容。主要内容包括：计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图灵机、形式语言和自动机的层次结构、计算复杂性等。每节后面都给出了习题，并包含部分习题的解答，方便教学。 本书是理论计算机科学方面的优秀教材之一，可作为高等院校计算机专业的教材，也可作为计算机系统...
丛书信息
· · · · · ·
计算机科学丛书(共628册)，
这套丛书还有
《C++程序设计语言》《计算机文化》《信息物理系统应用与原理》《现代操作系统》《微控制器》
等
。
喜欢读"形式语言与自动机导论"的人也喜欢的电子书 · · · · · ·
支持 Web、iPhone、iPad、Android 阅读器
喜欢读"形式语言与自动机导论"的人也喜欢 · · · · · ·
形式语言与自动机导论的书评 · · · · · · ( 全部 0 条 )
论坛 · · · · · ·
在这本书的论坛里发言这本书的其他版本 · · · · · · ( 全部7 )
在哪儿借这本书 · · · · · ·
以下书单推荐 · · · · · · ( 全部 )
谁读这本书? · · · · · ·
二手市场
· · · · · ·
订阅关于形式语言与自动机导论的评论:
feed: rss 2.0
0 有用 evaI 2018-12-13 17:55:28
很简单的一本书
0 有用 JohnReese 2020-05-22 11:06:25
只看过一点，但看过就知道是本专业性好书
0 有用 王晓辰 2011-11-10 19:53:46
有难度……
1 有用 张觉非 2012-03-08 22:33:09
导论，不厚
1 有用 常宇 2020-07-08 19:08:47
想找一个PDA和CFG互转的过程，搜了一大堆网页资料还是没有书讲得明白。定理比较全，列得很细，实用易懂。