模拟,可视化和转化有限状态自动机和图灵机的工具。 在创建,模拟和转换DFA和NFA机 创建和模拟TM 批量测试TM:!实用的功能来快速测试一堆文件 易于使用的图形用户界面(多文档) 对象之间的智能链接 机器可以使用鼠标绘制 - 和调整随时 多台计算机可在一个文档中创建 多个文档可以打开在同一时间 文档可以保存并从磁盘重新加载 < LI>调试模式,看看究竟是如何机器正在工作(每一步都有不同的颜色) MacOS X的GUI兼容 什么是新的本新闻稿中: 在FA和TM机可以导出到EPS文件...
按类别搜索
热门软件
-
Structurix X 2 Jan 15
-
Euclid 3 Jan 15
-
AxoGraph X 3 Jan 15
-
Golly 4 May 20
-
WeatherLink 20 Sep 15
-
Maple 5 May 20
-
Scilab 10 Apr 15
必须有 数学软件 为 Mac
WaTor World X 0.3
WeatherLink 6.0.3 更新
webMathematica 2.0
What's My Place? 2.0.1
Where Is M13? 2.3
按类别搜索
热门软件
-
RubyCalc 3 Jan 15
-
PocketCAS 14 Feb 15
-
GeoGebra 22 Nov 14
-
ISA 3 Jan 15
-
MathMagic Personal Edition 27 Nov 17
-
HyperRESEARCH 3 Jan 15
-
Magic Calculator 2 May 15