形式语言与自动机导论
- 书名：形式语言与自动机导论
- 作者： 林兹
- 格式：PDF
- 时间：2024-06-27
- 评分：
- ISBN：9787111167884
内容简介：
《形式语言与自动机导论》是理论计算机科学方面的优秀教材，主要介绍形式语言、自动机、可计算性和相关内容。《形式语言与自动机导论》特别注意定义、定理的准确性和严格性，在定理的证明中给出了直观的动机和框架，避免多余的数学细节，这有利于培养学生形式化和严格的数学推理能力，加强对问题的理解；《形式语言与自动机导论》通过精心设计的大量示例，生动剖析了各种定理和定义，概念清晰，深入浅出。每章后面还给出了难度不同的习题，并给出部分习题的解答，可使学生加深对基本原理的理解并增强应用能力。 《形式语言与自动机导论》主要介绍形式语言、自动机、可计算性和相关内容。主要内容包括：计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图灵机、形式语言和自动机的层次结构、计算复杂性等。每节后面都给出了习题，并包含部分习题的解答，方便教学。 《形式语言与自动机导论》是理论计算机科学方面的优秀教材之一，可作为高等院校计算机专业的教材，也可作为计算机系统研发人员的参考书。
作者简介：
下载地址：
标签：
文章链接：https://www.dushupai.com/book-content-26275.html(转载时请注明本文出处及文章链接)
- 上一篇： 是非疲劳
- 下一篇： SurviveJS - Webpack 5
读书评论：
更多
-
Earthson05-10这本书差不多看了2/3吧，后面的图灵机和计算复杂度就看别的书了（手头还有两本，囧）
-
电子牛腩11-27怎么这么多错误啊！逼我换一本书的节奏么。。。
-
常宇07-08想找一个PDA和CFG互转的过程，搜了一大堆网页资料还是没有书讲得明白。定理比较全，列得很细，实用易懂。
猜你喜欢：
-
2024-06-108 -
2024-06-108 -
2024-06-1010 -
2024-06-105 -
2024-06-109 -
2024-06-102 -
2024-06-108 -
2024-06-108