沃新书屋 - 形式语言与自动机导论
本书资料更新时间:2025-04-30 18:34:53

形式语言与自动机导论

形式语言与自动机导论精美图片

形式语言与自动机导论书籍详细信息

  • ISBN:9787111167884
  • 作者:林兹
  • 出版社:机械工业出版社
  • 出版时间:2005-9
  • 页数:289
  • 价格:36.00元
  • 纸张:暂无纸张
  • 装帧:平装
  • 开本:暂无开本
  • 语言:暂无语言
  • 丛书:图灵计算机科学丛书
  • 原作名:An Introduction to Formal Languages and Automata
  • 适合人群:适合计算机科学专业的学生,软件工程专业的学生,对计算机科学理论感兴趣的研究者,以及需要掌握形式语言与自动机基础的开发者。
  • TAG:计算机科学 / 算法 / 编程基础 / 自动机理论 / 形式语言
  • 豆瓣评分:8.5
  • 更新时间:2025-04-30 18:34:53

内容简介:

本书是理论计算机科学方面的优秀教材,主要介绍形式语言、自动机、可计算性和相关内容。本书特别注意定义、定理的准确性和严格性,在定理的证明中给出了直观的动机和框架,避免多余的数学细节,这有利于培养学生形式化和严格的数学推理能力,加强对问题的理解;本书通过精心设计的大量示例,生动剖析了各种定理和定义,概念清晰,深入浅出。每章后面还给出了难度不同的习题,并给出部分习题的解答,可使学生加深对基本原理的理解并增强应用能力。  本书主要介绍形式语言、自动机、可计算性和相关内容。主要内容包括:计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图灵机、形式语言和自动机的层次结构、计算复杂性等。每节后面都给出了习题,并包含部分习题的解答,方便教学。  本书是理论计算机科学方面的优秀教材之一,可作为高等院校计算机专业的教材,也可作为计算机系统研发人员的参考书。

书籍目录:

暂无相关目录,正在全力查找中!


作者简介:

暂无相关内容,正在全力查找中


其它内容:

暂无其它内容!


下载点评

  • 可检索(696+)
  • 珍藏(1893+)
  • 多终端(313+)
  • 相见恨晚(954+)
  • EPUB(205+)
  • 科研(428+)
  • 高速(817+)
  • 必下(629+)
  • 惊喜(922+)
  • 打包(234+)
  • 超预期(173+)
  • 研究(434+)
  • 带书签(386+)
  • 扫描(987+)
  • 无广告(114+)
  • 注释(1387+)
  • 考证(884+)

下载评论

  • 用户1741046402: ( 2025-03-04 08:00:02 )

    音频功能搭配MOBI/TXT格式,精校数字阅读体验,体验良好。

  • 用户1723553100: ( 2024-08-13 20:45:00 )

    精校的报告资源,图文设计提升阅读体验,推荐下载。

  • 用户1724396335: ( 2024-08-23 14:58:55 )

    音频功能搭配EPUB/AZW3格式,优质数字阅读体验,资源优质。

  • 用户1719974228: ( 2024-07-03 10:37:08 )

    流畅下载EPUB/MOBI文件,完整期刊推荐收藏,操作便捷。

  • 用户1715528956: ( 2024-05-12 23:49:16 )

    音频功能搭配EPUB/TXT格式,精校数字阅读体验,体验良好。


相关书评

暂时还没有人为这本书评论!