自动机理论、语言和计算导论（原书第3版）--聚文网

精选

¥5.83

世界图书名著昆虫记绿野仙踪木偶奇遇记儿童书籍彩图注音版

¥5.39

正版世界名著文学小说名家名译中学生课外阅读书籍图书批发 70册

¥8.58

简笔画10000例加厚版2-6岁幼儿童涂色本涂鸦本绘画本填色书正版

¥5.83

世界文学名著全49册中小学生青少年课外书籍文学小说批发正版

¥4.95

全优冲刺100分测试卷一二三四五六年级上下册语文数学英语模拟卷

¥8.69

父与子彩图注音完整版小学生图书批发儿童课外阅读书籍正版1册

¥24.2

好玩的洞洞拉拉书0-3岁宝宝早教益智游戏书机关立体翻翻书4册

¥7.15

幼儿认字识字大王3000字幼儿园中班大班学前班宝宝早教启蒙书

¥11.55

用思维导图读懂儿童心理学培养情绪管理与性格培养故事指导书

¥19.8

少年读漫画鬼谷子全6册在漫画中学国学小学生课外阅读书籍正版

¥64

科学真好玩

¥12.7

一年级下4册·读读童谣和儿歌

¥38.4

原生态新生代(传统木版年画的当代传承国际研讨会论文集)

¥11.14

法国经典中篇小说

¥11.32

上海的狐步舞--穆时英(中国现代文学馆馆藏初版本经典)

¥21.56

猫的摇篮(精)

¥30.72

幼儿园特色课程实施方案/幼儿园生命成长启蒙教育课程丛书

旧时风物(精)

三希堂三帖/墨林珍赏

寒山子庞居士诗帖/墨林珍赏

苕溪帖/墨林珍赏

楷书王维诗卷/墨林珍赏

兰亭序/墨林珍赏

祭侄文稿/墨林珍赏

蜀素帖/墨林珍赏

真草千字文/墨林珍赏

进宴仪轨(精)/中国古代舞乐域外图书

舞蹈音乐的基础理论与应用

编辑推荐

本书是关于形式语言、自动机理论和计算复杂性方面的经典教材，是三位理论计算大师的很好之作，现已更新到第3版。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的性质、图灵机、不可判定性以及难解问题等内容。
本书已被世界许多有名大学采用为计算机理论课程的教材或教学参考书，适合作为靠前高校计算机专业高年级本科生或研究生的教材，还可供从事理论计算工作的研究人员参考。
本书特点：以简洁和易理解的方式讲述理论概念；强调理论的现代应用；使用大量的图来帮助表达概念；提供定义和证明的更多细节；每章提供大量难易程度不同的练习。

内容简介

本书是关于形式语言、自动机理论和计算复杂性方面的经典之作，是靠前上得到广泛认可的计算机理论和计算机工程专业的很好教材。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的性质、图灵机、不可判定性以及难解问题等内容。本书注重定义、定理的准确性和严格性，注重学生形式化和严格的数学推理能力的培养，同时在定义和证明中运用直观的方法说明抽象概念，借助许多图表帮助传达思想，并包含大量难度各异的示例和习题，便于读者加深对内容的理解。
本书适合作为计算机专业高年级本科生及研究生计算理论课程的教材和教学参考书。

作者简介

Hopcroft，J.E，地斯坦福大学获得博士学位，现为康奈尔大任康奈尔大学工程学院院长。他是1986年图灵奖获得者。他的研究兴趣集中在计算理论方面，尤其是算法分析、自动机理论等。

出版者的话
译者序
前言
第1章  自动机：方法与体验
  1.1  为什么研究自动机理论
    1.1.1  有穷自动机简介
    1.1.2  结构表示法
    1.1.3  自动机与复杂性
  1.2  形式化证明简介
    1.2.1  演绎证明
    1.2.2  求助于定义
    1.2.3  其他定理形式
    1.2.4  表面上不是“如果-则”命题的定理
  1.3  其他的证明形式
    1.3.1  证明集合等价性
    1.3.2  逆否命题
    1.3.3  反证法
    1.3.4  反例
  1.4  归纳证明
    1.4.1  整数上的归纳法
    1.4.2  更一般形式的整数归纳法
    1.4.3  结构归纳法
    1.4.4  互归纳法
  1.5  自动机理论的中心概念
    1.5.1  字母表
    1.5.2  串
    1.5.3  语言
    1.5.4  问题
  1.6  小结
  1.7  参考文献
第2章  有穷自动机
第3章  正则表达式与正则语言
第4章  正则语言的性质
第5章  上下文无关文法及上下文无关语言
第6章  下推自动机
第7章  上下文无关语言的性质
第8章  图灵机导引
第9章  不可判定性
第10章  难解问题
第11章  其他问题类

自动机理论、语言和计算导论（原书第3版）

库存： {{selectedSku?.stock}} 库存充足