形式语言与自动机及程序设计
形式语言与自动机及程序设计封面图

形式语言与自动机及程序设计

陆玲, 周书民, 著

出版社:哈尔滨工程大学出版社

年代:2014

定价:21.0

书籍简介:

本书介绍了乔姆斯文法体系的四类文法及相应的实例,以及无限自动机、下推机、图灵机及相应实例。利用VC++6.0实现了给定文法所产生的句子、确定的有限自动机、不确定的有限自动机、带空转移的有限自动机、带输出的有限状态自动机、下推自动机、确定的下推自动机、基本的图灵机、具有计算功能的图灵机、状态存储符号的图灵机、多道图灵机、具有子程序的图灵机。本书的特点是利用计算机实现给定文法所产生的句子、利用计算机模拟一些自动机,书中含有编程思路及过程,并附有相应VC++源程序代码。本书可作为高等学校计算机科学与技术专业的本科生和研究生的辅助教材,也可作为工程技术人员的参考书。

书籍目录:

第1章 基础知识简介

1.1 集合

1.2 语言及其表示

1.3 VC++6.OMFC编程简介

第2章 文法

2.1 文法的定义

2.2 文法的乔姆斯基分类

2.3 推导树

2.4 文法生成句子的程序设计

第3章 有限状态自动机

3.1 确定的有限自动机

3.2 不确定的有限自动机

第4章 下推自动机

4.1 下推自动机的定义

4.2 下推自动机的表示

4.3 下推自动机接受的语言

4.4 下推自动机程序设计

4.5 确定的下推自动机

第5章 图灵机

5.1 图灵机的基本模型

5.2 图灵机的计算功能

5.3 图灵机的状态中存储符号

5.4 图灵机的多道技术

5.5 图灵机的子程序技术

5.6 图灵机的变形

参考文献

内容摘要:

《形式语言与自动机及程序设计》介绍了乔姆斯文法体系的四类文法及相应的实例,以及无限自动机、下推机、图灵机及相应实例。利用VC++6.0实现了给定文法所产生的句子、确定的有限自动机、不确定的有限自动机、带空转移的有限自动机、带输出的有限状态自动机、下推自动机、确定的下推自动机、基本的图灵机、具有计算功能的图灵机、状态存储符号的图灵机、多道图灵机、具有子程序的图灵机。
  《形式语言与自动机及程序设计》的特点是利用计算机实现给定文法所产生的句子、利用计算机模拟一些自动机,书中含有编程思路及过程,并附有相应VC++源程序代码,《形式语言与自动机及程序设计》可作为高等学校计算机科学与技术专业的本科生和研究生的辅助教材,也可作为相关专业工程技术人员的参考书。

书籍规格:

书籍详细信息
书名形式语言与自动机及程序设计站内查询相似图书
9787566107534
如需购买下载《形式语言与自动机及程序设计》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN
出版地哈尔滨出版单位哈尔滨工程大学出版社
版次1版印次1
定价(元)21.0语种简体中文
尺寸26 × 19装帧平装
页数印数

书籍信息归属:

形式语言与自动机及程序设计是哈尔滨工程大学出版社于2014.2出版的中图分类号为 TP301 ,TP311 的主题关于 程序设计-高等学校-教材 ,形式语言-高等学校-教材 ,自动机理论-高等学校-教材 的书籍。