T007502　自动机引论

---

陶仁骥编著。

科学出版社1986年11月版。27．9万字。讲述自动机论中最基本的概念、结果和方法。内容分两部分。

第一部分讨论有限自动机，主要内容有：有限自动机和逻辑网络的定义及它们的等价性，有限自动机和偏有限自动机的极小化及有限自动机作为序列识别器的功能，有限自动机的标准化及Z变换方法，有限自动机作为序列产生器的功能，以及有限自动机的存储性和可逆性。第二部分讨论无限自动机，介绍自动机的定义、归约和通用自动机，图灵机和自动机的等价性及自动机的计算功能和识别功能，不可判定问题，自动机在阿克曼函数作为时间或空间界限下的计算能力。

收入“计算机科学丛书”。