自动机理论与模型检测

zhangzhihao_li 16 0 PDF 2020-09-19 13:09:02

Automata Theory and Model Checking,是一个关于自动机理论和模型检验的论文

推荐下载

Java实现有限自动机相关功能的工具包,包含:正则式与NFA,DFA的相互转化；DFA的交、并、差、补运算；判断一个DFA对应的正则集是否是无限集；列出一个有限正则集所包含的所有字符串,以及包含字符串

有限状态自动机的demo程序

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

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

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

pronam后面的***改成程序的名字然后就可以用了

2012年noi冬令营陈立杰的讲稿,内容是后缀自动机

SAM后缀自动机,陈立杰2012年noi冬令营的讲稿,带你了解后缀自动机

AC automaton algorithm

有限自动机试题陈文宇电子科技大学

用户评论

请输入评论内容

评分：

暂无评论