本书是理论计算机科学方面的优秀教材,主要介绍形式语言、自动机、可计算性和相关内容。本书特别注意定义、定理的准确性和严格性,在定理的证明中给出了直观的动机和框架,避免多余的数学细节,这有利于培养学生形式化和严格的数学推理能力,加强对问题的理解;本书通过精心设计的大量示例,生动剖析了各种定理和定义,概念清晰,深入浅出。每章后面还给出了难度不同的习题,并给出部分习题的解答,可使学生加深对基本原理的理解并增强应用能力。本书主要介绍形式语言、自动机、可计算性和相关内容。主要内容包括:计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图灵机、形式语言和自动机的层次结构、计算复杂性等。每节后面都给出了习题,并包含部分习题的解答,方便教学。本书是理论计算机科学方面的优秀教材之一,可作为高等院校计算机专业的教材,也可作为计算机系统研发人员的参考书。
何马克(MarkHurst)是一位始终重视用户体验的创业者和作家,他始终关注技术创新给人们生活带来的变化和影响。1997年,还很少有人
《人脉是设计出来的:实战篇》内容简介:我们迫切渴望成功,我们更加明白——在这个世界上,没有人不努力就能办成事,也没有人仅仅
《这里是杭州·美食》内容简介:作为一座有着深厚底蕴的历史文化名城,杭州拥有独特的人文和自然环境。“这里是杭州”系列以文化寻
Dailylifeisconnectedlife,itsrhythmsdrivenbyendlessemailpingsandresponses,thechim...
计算理论与符号逻辑 内容简介 《计算理论与符号逻辑》对计算理论和数理逻辑中一组*为基本的问题和重要概念进行详细介绍.以boolos等的经典教材computabi...
《Python深度强化学习:基于Chainer和OpenAI Gym》内容简介:近年来,机器学习受到了人们的广泛关注。本书面向普通大众,指导读者在
《广义网络空间》内容简介:本书将广义网络空间定义为赛博、物理、社会和思维融合的四维超空间,系统地介绍了广义网络空间的相关主
运用最新策略揭示当今最具破坏力的攻击《灰帽黑客:正义黑客的道德规范、渗透测试、攻击方法和漏洞分析技术(第3版)》在上一版的基
《高配人生的7个法则》内容简介:本书是一本倡导“她力量”的女性成长励志书籍。作者邵英是一名成功的女性互联网创业者,书中作者详
WithEarlyReleaseebooks,yougetbooksintheirearliestform—theauthorsrawanduneditedco...
Galadinner:SalvadorDalí’ssurrealistcookbook“LesdinersdeGalaisuniquelydevotedtoth...
二级MS Office高级应用-2016年全国计算机等级考试无纸化真考套装三合一-(全二册)-赠428元等考大礼包 本书特色 本书严格依据*新颁布的《全国计算机...
MATLAB语言与控制系统仿真 内容简介 本书主要介绍MATLAB语言的基本使用方法,其中包括:各种数值运算、符号运算与MAPLE内核、MATLAB绘图等。在掌...
《平面设计视觉词典》旨在对平面设计中容易混淆的一些专业词汇予以区别和解释,比如斜线和斜体的区别,重印、套印、翻转的区别等
在这个信息技术无所不在的时代,编程能力正在变得越来越重要。C++以高性能、易移植而著称,而且同时支持过程式、面向对象和泛型编
手游与社交游戏是一个生机勃勃、令人兴奋的产业,飞速发展的互联网与相关技术,成就了一个又一个广为流传、收益丰厚的游戏产品。
《智慧工厂技术与应用》内容简介:智慧工厂是现代工厂信息化发展的新阶段,是在数字化工厂的基础上,利用物联网技术和设备监控技术
InthetraditionofWhoOwnstheFuture?andTheSecondMachineAge,anMITMediaLabscientistim...
《历史的倒影:元稹传播接受史》内容简介:《旧唐书》谓“元和主盟,微之、乐天而已”,元稹在中唐文坛之地位,由此可见一斑。但穆
本书是计算机科学方面的经典名著《编程珠玑》的姊妹篇,讲述了对于程序员有共性的知识。书中涵盖了程序员操纵程序的技术、程序员