文件名称：cuckoo:创建自动机的框架
文件大小：474KB
文件格式：ZIP
更新时间：2024-06-07 05:19:54
automata finite-state-machine turing-machine automaton pushdown-automaton
布谷鸟 一个简单易用的框架，用于创建自动机。 描述性声明 有限，下推和图灵机支持。 以广度优先搜索的方式实施，以评估可能性树 建造 *.jar文件将在dist目录中创建。 ant -f build.xml TL; DR文档 州级 FState ：有限状态 PState ：下推状态 TState ：图灵机状态 跑步班 DFARunner ：确定性有限自动机 NFARunner ： NFARunner有限自动机 DPDARunner ：确定性下推自动机 NPDARunner ：非确定性下推自动机 DTMRunner ：确定性图灵机 例子 为了进一步理解，请看examples树。 一个简单的确定性有限自动机 定义您的状态。 FState q0 = new FState ( " q0 " ); FState q1 = new FState ( " q1 " ); 定义过渡。
【文件预览】：
cuckoo-master
----.travis.yml(59B)
----test()
--------cuckoo()
----build.xml(3KB)
----LICENSE(18KB)
----manifest.mf(82B)
----src()
--------cuckoo()
----example.png(4KB)
----nbproject()
--------build-impl.xml(77KB)
--------project.xml(562B)
--------genfiles.properties(467B)
--------project.properties(2KB)
----examples()
--------cuckoo()
----.gitignore(105B)
----lib()
--------junit-4.10.jar(247KB)
----README.md(2KB)