基于完全剩余格值逻辑的自动机理论:归约和最小化

Uppaal是一个集成化的对实时系统建模、确认和验证的工具，它采用一组带有整型变量的时间自动机对实时系统的行为进行模拟和验证，采用的模型检查机制可以避免状态空间的爆炸，已被广泛的应用于算法分析和协议验

基于Matlab的元胞自动机仿真设计

小程序是基于元胞自动机的交通模型，主要是针对单车道、单车变数运动的描述

编译原理中的NFA确定化和DFA最小化可运行代码以及思路解释

DFA最小化 编译原理词法分析方面的资料 很有帮助

编译原理实验输入有限（穷）状态自动机,输出确定化的有限（穷）状态自动机

WPF托盘化最小化

编辑距离自动机的java实现，参考《自然语言处理 原理与技术实现》进行稍微改动，同时增加了注释使得可读性更强。

元胞自动机(Cellular Automaton)，复数为Cellular Automata，简称CA，也有人译为细胞自动机、点格自动机、分子自动机或单元自动机)。是一时间和空间都离散的动力系统。散布

有限自动机课件，适合计算机研究生，有需要者可以下载。