不确定有穷自动机NFA

元胞自动机，二维，js实现，直接点击load运行。

通过分析正则文法，可以画出自动机。并且可以判断正则文法是否非法，支持自动机的移动。同时，可以保存自动机和正则文法。

编译原理，有限自动机，只是课件，需要了解的可以下载来看看，

元胞自动机（Cellular Automata，简称CA）实质上是定义在一个由具有离散、有限状态的元胞组成的元胞空间上，并按照一定的局部规则，在离散的时间维度上演化的动力学系统。 1.CA之所以是离散

基于元胞自动机的交通流计算机模拟

编译原理自动机部分本科课件 形式语言与自动机

从别的共享资源下载的java版ac自动机，已验证使用非常好。

关于后缀自动机的一系列讲解，包括（概念，原理，证明，代码，例题......）。

关于初等元胞自动机的源代码程序，实现制定规则的变换

java开发的自动机工具集FLAP基本上形式化与自动机方面的实例都有了，很不错的工具。