模拟,可视化和转化有限状态自动机和图灵机的工具。
- 在创建,模拟和转换DFA和NFA机
- 创建和模拟TM
- 批量测试TM:!实用的功能来快速测试一堆文件
- 易于使用的图形用户界面(多文档)
- 对象之间的智能链接
- 机器可以使用鼠标绘制 - 和调整随时
- 多台计算机可在一个文档中创建
- 多个文档可以打开在同一时间
- 文档可以保存并从磁盘重新加载 < LI>调试模式,看看究竟是如何机器正在工作(每一步都有不同的颜色)
- MacOS X的GUI兼容
什么是新的本新闻稿中:
- 在FA和TM机可以导出到EPS文件
- 综合更新管理器
- 首选项:可以指定用于定义一个小量的过渡
- 字符固定在那里小量过渡直接的状态下开始的时候,而不是遵循非厄普西隆过渡
要求:
的Mac OS X和Java 1.4
评论没有发现