暂无评论
相当不错的IEC61850入门资料。入门必备。
Web应用的快速发展及其一些异于传统程序的特点使Web应用的验证面临了新的挑战。使用接口自动机对Web应用的构件和构件组合进行行为建模,设计了接口自动机到模型检验器Spin程序的转换算法,然后利用Sp
编辑距离自动机的java实现,参考《自然语言处理 原理与技术实现》进行稍微改动,同时增加了注释使得可读性更强。
元胞自动机(Cellular Automaton),复数为Cellular Automata,简称CA,也有人译为细胞自动机、点格自动机、分子自动机或单元自动机)。是一时间和空间都离散的动力系统。散布
有限自动机课件,适合计算机研究生,有需要者可以下载。
pronam后面的***改成程序的名字 然后就 可以用了
2012年noi冬令营陈立杰的讲稿,内容是后缀自动机
SAM后缀自动机,陈立杰2012年noi冬令营的讲稿,带你了解后缀自动机
AC automaton algorithm
有限自动机试题陈文宇电子科技大学
暂无评论