您好,欢迎来到聚文网。 登录 免费注册
形式语言,自动机理论与计算导论

形式语言,自动机理论与计算导论

  • 字数: 525.00千字
  • 装帧: 平装
  • 出版社: 电子工业出版社
  • 作者: Kamala Krithivasan(卡马拉), Rama R(拉玛) 著作 孟宇龙 译者
  • 出版日期: 2012-02-01
  • 商品条码: 9787121153945
  • 版次: 1
  • 开本: 其他
  • 页数: 317
  • 出版年份: 2012
定价:¥59 销售价:登录后查看价格  ¥{{selectedSku?.salePrice}} 
库存: {{selectedSku?.stock}} 库存充足
{{item.title}}:
{{its.name}}
精选
内容简介
形式语言与自动机理论是计算机科学与技术专业的一门重要课程。本书是作者结合其多年来在大学讲授该门课程的经验和体会,选择和组织有关内容撰写而成。不仅含有有关正则语言、上下文无关语言的文法、识别模型及其性质、图灵机的基本知识,更涉及到本学科方法论中所包含的3个学科形态。其内容特点是抽象和形式化,既有严格的理论证明,又具有很强的构造性,从而培养学生的形式化描述和抽象思维能力,使学生了解和初步掌握“问题、形式化、自动化(计算机化)”的解题思路。
目录
第1章 基础知识…………………………………………………………………………… 1 1. 1 集合, 关系和函数……………………………………………………………………… 1 1. 2 证明方法………………………………………………………………………………… 4 1. 3 图………………………………………………………………………………………… 6 1. 4 语言:基本概机………………………………………………………………………… 192 11. 4 问题, 实例和语言…………………………………………………………………算…………………………………………………………………………… 273 14. 2 膜计算……………………………………………………………………………… 282 单项选择题(I) ……………………………………………………………………………… 296 答案………………………………………………………………………………………… 303 单项选择题(II) ……………………………………………………………………………… 304 答案………………………………………………………………………………………… 311 参考文献……………………………………………………………………………………… 312

蜀ICP备2024047804号

Copyright 版权所有 © jvwen.com 聚文网