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

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