AC自动机

提出了格值有限状态自动机（LFSA）的同态、强同态的概念，研究了LFSAs同态、强同态的若干性质。在LFSAs强同态的基础上，得到了LFSA的商自动机及其最小化自动机，刻画了商自动机的性质。

形式语言与自动机 讲义（形式语言与自动机理论）

Finite automaton 有限状态自动机

cog工序的村上cog自动机教材手册,要的请下载吧

该文是介绍树状自动机理论的重要文献。树状自动机是程序语言理论中的常用工具,在树状结构的类型与数据分析中起着重要作用。

元胞自动机（CA）是一种用来仿真局部规则和局部联系的方法。典型的元胞自动机是定义在网格上的，每一个点上的网格代表一个元胞与一种有限的状态。变化规则适用于每一个元胞并且同时进行。典型的变化规则，决定于元

机器人作为人工智能下的一个学科，该书是一本基础书籍

介绍了一维元胞自动机的使用,对入门者具有良好的启发作用

元胞自动机和matlab，讲述了matlab对于元胞自动机的编程实现。

介绍了自动机理论在PVS中的模型及定理证明的方法。