细胞自动机 （源码）

细胞自动机理论及其在密码中的应用是一个很完整的论文

这是浙江大学翁恺老师在课堂上演示的细胞自动机程序，本人在阅读的时候添加了很多代码注释，现发布供大家学习。

时间自动机与信号自动机的互模拟算法，朱维军，，基于时间自动机的验证工具已被广泛应用于实时系统模型验证。信号自动机为一类实时系统建立了比时间自动机更适合的模型，但是它还

确定有限自动机和非确定有限自动机概念及变换,语法图与自动机

萨夫拉变换Safra算法的实现，在Java中将Beuchi自动机转换为Rabin自动机。此实现使用标准5步方法的单次遍历版本，如MonopassTransformer.java中所示。此外，我们大量使

Cultivator:使用Vulkan在GPU上模拟细胞自动机,从头开始编写

针对矿区保护应用中的岩体变形模拟问题,提出了一种基于确定性有限细胞自动机的开采沉陷模拟方法。该方法采用自动机理论描述岩体内部和表面的沉降分布,能够以相对简单的方法获取沉降槽剖面,且该剖面与大地测量法观

各种细胞自动机完整代码程序（GameOfLife—2，golly等）

基于细胞自动机的信号控制交叉口交通流模拟

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