模拟，可视化和转化有限状态自动机和图灵机的工具。 在创建，模拟和转换DFA和NFA机 创建和模拟TM 批量测试TM：！实用的功能来快速测试一堆文件 易于使用的图形用户界面（多文档） 对象之间的智能链接 机器可以使用鼠标绘制 - 和调整随时 多台计算机可在一个文档中创建 多个文档可以打开在同一时间 文档可以保存并从磁盘重新加载 < LI>调试模式，看看究竟是如何机器正在工作（每一步都有不同的颜色） MacOS X的GUI兼容 什么是新的本新闻稿中： 在FA和TM机可以导出到EPS文件...
模拟，可视化和转化有限状态自动机和图灵机的工具。 在创建，模拟和转换DFA和NFA机 创建和模拟TM 批量测试TM：！实用的功能来快速测试一堆文件 易于使用的图形用户界面（多文档） 对象之间的智能链接 机器可以使用鼠标绘制 - 和调整随时 多台计算机可在一个文档中创建 多个文档可以打开在同一时间 文档可以保存并从磁盘重新加载 < LI>调试模式，看看究竟是如何机器正在工作（每一步都有不同的颜色） MacOS X的GUI兼容 什么是新的本新闻稿中： 在FA和TM机可以导出到EPS文件...
