本书是理论计算机科学方面的优秀教材,主要介绍形式语言、自动机、可计算性和相关内容。本书特别注意定义、定理的准确性和严格性,在定理的证明中给出了直观的动机和框架,避免多余的数学细节,这有利于培养学生形式化和严格的数学推理能力,加强对问题的理解;本书通过精心设计的大量示例,生动剖析了各种定理和定义,概念清晰,深入浅出。每章后面还给出了难度不同的习题,并给出部分习题的解答,可使学生加深对基本原理的理解并增强应用能力。本书主要介绍形式语言、自动机、可计算性和相关内容。主要内容包括:计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图灵机、形式语言和自动机的层次结构、计算复杂性等。每节后面都给出了习题,并包含部分习题的解答,方便教学。本书是理论计算机科学方面的优秀教材之一,可作为高等院校计算机专业的教材,也可作为计算机系统研发人员的参考书。
《中国历史的教训:精装版》内容简介:本书是一本以人物故事为主线、以廉政思想为内核的中国历史通俗读物,也是一本由纪检监察干部
《博弈论:每个人都能成为决策高手》内容简介:这是一本关于博弈论的入门书。蒋文华认为一个高度联结的社会必然是一个充满博弈的社
软件功能测试基于Quick Test Professional应用 本书特色 《软件功能测试--基于QuickTest Professional应用》由李晓鹏、...
《中国众筹行业发展研究(2019)》内容简介:众筹是一种创新模式,自2011年我国出现第一家众筹平台以来,中国众筹已发展了近十年。
本书详细介绍ExtJS框架体系结构,以及利用HTML/CSS/JavaScript进行前端设计的方法和技巧。作者为Ext中文站站长领衔的三个国内Ext
《汽车标识符号全知道》内容简介:《汽车标识符号全知道》按品牌标识、车身上标识、驾驶操作标识的顺序,以图解的方式对汽车上常见
计算机网络 内容简介 本书全面综述了各种类型的计算机网络,主题涉及计算机网络的方方面面,从基本的概念和原理,到具本的设计和实现方式,再到具体的管理和运营,作为入...
自从这本经典图书的第一版出版以来,网络的应用呈爆炸之势,电子商务已经成了我们生活和工作的一部分。与此同时,对我们安全和隐
domus杂志是有着80多年历史的、世界著名的建筑艺术与室内设计杂志,其中文版创刊于2006年,“与中国有关”访谈栏目也同时推出。每
《信号完整性分析》全面论述了信号完整性问题。主要讲述了信号完整性和物理设计概论,带宽、电感和特性阻抗的实质含义,电阻、电
《AWS助理架构师认证备考宝典》内容简介:本书是一本以AWS认证解决方案架构师一助理级考试的考试大纲为核心,结合作者多年AWS系统设
《推开红酒的门》内容简介:葡萄酒的世界很有趣,但是初学者往往遇上麻烦:在餐厅,看着酒单上密密麻麻的字一脸懵;面对货架上琳琅
本书是Struts项目的完全指南,引导开发人员理解概念、设计和实现方式。虽然它由Struts应用程序的基础开始并深入讲解了Model2设计
《持久内存架构与工程实践》内容简介:《持久内存架构与工程实践》以工程实践为导向,详细阐述了持久内存的整体技术节。对硬件和固
《二十五史艺文经籍志考补萃编续刊(第十五卷)》内容简介:《二十五史艺文经籍志考补萃编续刊》,是《萃编》的后续配套产品,是一
《国家时代》内容简介:以中国人的语言谱系解析世界文明,看人类国家文明的历史发展逻辑;以世界文明的视野呈现中国文明,在对比中
《学术论文写作与发表指南》内容简介:本书内容涵盖论文选题、论文写作、投稿技巧、期刊审稿等,适用于人文社会科学高校教师、硕博
Needtoovercomeinformationoverloadandgetyourmessageacross?Infographicsareyoursecr...
Effective系列丛书经典著作,亚马逊五星级畅销书,Ecma的JavaScript标准化委员会著名专家撰写,JavaScript语言之父、MozillaCT...
耸立在这里的500帧生活·读书·新知三联书店出版物的书衣,是从人民出版社和三联书店资料室的书库里,查找并拍摄的两千余件书影中