《形式语言与自动机及程序设计》介绍了乔姆斯文法体系的四类文法及相应的实例，以及无限自动机、下推机、图灵机及相应实例。利用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 图灵机的变形
参考文献