林兹《形式语言与自动机导论》
书刊介绍
内容简介
本书是理论计算机科学方面的优秀教材，主要介绍形式语言、自动机、可计算性和相关内容。本书特别注意定义、定理的准确性和严格性，在定理的证明中给出了直观的动机和框架，避免多余的数学细节，这有利于培养学生形式化和严格的数学推理能力，加强对问题的理解；本书通过精心设计的大量示例，生动剖析了各种定理和定义，概念清晰，深入浅出。每章后面还给出了难度不同的习题，并给出部分习题的解答，可使学生加深对基本原理的理解并增强应用能力。本书主要介绍形式语言、自动机、可计算性和相关内容。主要内容包括：计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图灵机、形式语言和自动机的层次结构、计算复杂性等。每节后面都给出了习题，并包含部分习题的解答，方便教学。本书是理论计算机科学方面的优秀教材之一，可作为高等院校计算机专业的教材，也可作为计算机系统研发人员的参考书。
相关推荐
-
FloTHERM软件基础与应用实例-(第二版)
FloTHERM软件基础与应用实例-(第二版) 本书特色 本书分为软件基础入门与应用实例两大部分，全书共计17章节。1～11章节为软件基础入门，其内容以热仿真工...
-
历史名镇：千灯镇
《历史名镇：千灯镇》内容简介：千灯是昆南的重镇，民康物阜，钟灵毓秀。2007年获中国历史文化名镇，2008年获国家AAAA级旅游景区。
-
简笔画5000例，一本就够（动物篇）
《简笔画5000例，一本就够（动物篇）》内容简介：简笔画几乎是每个人孩提时代绘画生涯的开始。简单的线条，可爱的形状，总是能释放
-
法律硕士联考专业基础课经典案例分析
《法律硕士联考专业基础课经典案例分析》内容简介：本书是法律硕士联考案例分析题的专项训练，含基本案例和复杂案例两部分，各部分
-
![[日] 原研哉《设计私语录》](http://oss.shudanhao.com/caiji/chazidian/2023/37439.jpg)
[日] 原研哉《设计私语录》
作为享誉全球的设计大师，原研哉将日本的生活美学和设计理念带给了全球的读者，我们也许看到过大师精彩的设计作品以及以他的理念
-
《Web2.0动态网站开发》书籍《Web2.0动态网站开发》
《Web2.0动态网站开发:PHP技术与应用》以Web2.0网站开发的5种需求和28个重要元素为线索，从PHP开发Web2.0网站的三个理由出发，全
-
“一带一路”金融大战略
《“一带一路”金融大战略》内容简介：《“一带一路”金融大战略》一书在“一带一路”这个大战略、大智慧、大工程背景下，从金融战
-
《程序员面试笔试宝典》书籍《程序员面试笔试宝典》
《程序员面试笔试宝典》除了对传统的计算机相关知识（C/C++、数据结构与算法、操作系统、计算机网络与通信、软件工程、数据库、智
-
江南古典私家园林
《江南古典私家园林》内容简介：中国江南，自然山水秀美，物产丰饶，自魏晋以来一直是一方富庶的乐土。明清以降，更是文人巨贾会聚
-
![[保加利亚] Stoyan Stefanov《web性能实践日志》](http://oss.shudanhao.com/caiji/chazidian/2023/1948.jpg)
[保加利亚] Stoyan Stefanov《web性能实践日志》
《Web性能实践日志》包含了众多领域专家的关于Web性能的文章。其中包括了许多性能相关的主题，如开源工具、缓存、移动网络和应用
-
卓越开发者联盟《React》
本书由一个团队编写而成，这个团队的成员都是一些经验丰富且专注于JavaScript的开发者。TomHallett是一位高级Ruby和JavaScript工
-
新媒体用户研究
《新媒体用户研究》内容简介：《新媒体用户研究》关照新媒体时代的人，探究人与新媒体之间的互动关系，以及在新媒体作用下人与人的
-
摄影构图书（全彩）
《摄影构图书（全彩）》内容简介：构图是摄影之本。在摄影院校的教学体系中，曝光、用光、色彩、构图并称摄影“四大核心”。要想学
-
![[日] 佐藤大《佐藤大:用设计解决问题》](http://oss.shudanhao.com/caiji/chazidian/2023/37691.jpg)
[日] 佐藤大《佐藤大:用设计解决问题》
本书通过nendo工作室创始人佐藤大亲身体验的事例，介绍设计与创造的本质。不仅是设计师，普通读者也可以从佐藤大的独特思考中，发
-
John Bird《Electrical and Electronic Principles and Technology》
Theauthorintroduceselectricalprinciplesandtechnologythroughexamplesratherthanthe...
-
数据结构-导教.导学.导考(C语言版)(第2版)
数据结构-导教.导学.导考(C语言版)(第2版) 本书特色 本书是为配合严蔚敏、吴伟民编著的《数据结构》(C语言版)而编写的辅助教材。书中首先给出重点内容提要和...
-
乡土中国
《乡土中国》内容简介：该书是费孝通先生的社会学名著，根据其1940年代后期在西南联大和云南大学所讲“乡村社会学”一课的讲义整理
-
《OFDM无线局域网》书籍《OFDM无线局域网》
本书主要讲述采用正交频分复用(OFDM)技术的宽带通信技术及其在WLAN中的应用，具体内容包括发展背景和OFDMWLAN的概况；OFDM网络中
-
民国时期山东城市下层社会物质生活研究
《民国时期山东城市下层社会物质生活研究》内容简介：民国时期是中国社会转型的重要时期。民国时期城市下层民众的生活遭际中蕴含着
-
即时记忆：快速记忆训练法
《即时记忆：快速记忆训练法》内容简介：在本书中，记忆大师迈克尔·蒂珀将通过久经考验的技巧来指导你，以提高你的记忆力和回忆力
