框架cuckoo：用于构建自动机的工具

布谷鸟 一个简单易用的框架，用于创建自动机。 描述性声明 有限，下推和图灵机支持。 以广度优先搜索的方式实施，以评估可能性树 建造 *.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 " ); 定义过渡。