PVS中的时间自动机

适用任何模型，只需修改一点参数就可以用了。用txt上传方便大家看

大学课程设计编译原理课程设计，自动机向正规文法的自动转换。内有源代码，复制粘贴即可编译运行

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

Finite automaton 有限状态自动机

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

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

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

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

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

修改snort中的AC而来，支持多线程并发。