内容简介 · · · · · ·
本书是理论计算机科学方面的优秀教材，主要介绍形式语言、自动机、可计算性和相关内容。本书特别注意定义、定理的准确性和严格性，在定理的证明中给出了直观的动机和框架，避免多余的数学细节，这有利于培养学生形式化和严格的数学推理能力，加强对问题的理解；本书通过精心设计的大量示例，生动剖析了各种定理和定义，概念清晰，深入浅出。每章后面还给出了难度不同的习题，并给出部分习题的解答，可使学生加深对基本原理的理解并增强应用能力。 本书主要介绍形式语言、自动机、可计算性和相关内容。主要内容包括：计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图灵机、形式语言和自动机的层次结构、计算复杂性等。每节后面都给出了习题，并包含部分习题的解答，方便教学。 本书是理论计算机科学方面的优秀教材之一，可作为高等院校计算机专业的教材，也可作为计算机系统...
丛书信息
· · · · · ·
计算机科学丛书(共629册)，
这套丛书还有
《计算机体系结构》《人工智能》《软件工程--用Java语言描述(英文)》《并行计算机组成与设计》《云计算》
等
。
喜欢读"形式语言与自动机导论"的人也喜欢的电子书 · · · · · ·
支持 Web、iPhone、iPad、Android 阅读器
喜欢读"形式语言与自动机导论"的人也喜欢 · · · · · ·
形式语言与自动机导论的书评 · · · · · · ( 全部 0 条 )
论坛 · · · · · ·
在这本书的论坛里发言这本书的其他版本 · · · · · · ( 全部7 )
在哪儿借这本书 · · · · · ·
以下书单推荐 · · · · · · ( 全部 )
谁读这本书? · · · · · ·
二手市场
· · · · · ·
订阅关于形式语言与自动机导论的评论:
feed: rss 2.0
0 有用 守仁y 2018-12-15 19:41:53
答案太少，证明严谨，讲解细致，老师的PPT完全照着书来。
0 有用 电子牛腩 2020-11-27 09:33:12
怎么这么多错误啊！逼我换一本书的节奏么。。。
1 有用 张觉非 2012-03-08 22:33:09
导论，不厚
0 有用 豆友48127476 2021-05-08 01:18:06
这本书内容可以的，但是考完就真的不想再看了
0 有用 Alethia 2019-01-11 12:19:03
各种证明不仅严谨，而且直观易懂。整本书详细介绍了乔姆斯基层次结构中的内容，其它内容包括计算复杂度理论等。