軟件截圖:
模擬，可視化和轉化有限狀態自動機和圖靈機的工具。
- 在創建，模擬和轉換DFA和NFA機
- 創建和模擬TM
- 批量測試TM：！實用的功能來快速測試一堆文件
- 易於使用的圖形用戶界面（多文檔）
- 對象之間的智能鏈接
- 機器可以使用鼠標繪製 - 和調整隨時
- 多台計算機可在一個文檔中創建
- 多個文檔可以打開在同一時間
- 文檔可以保存並從磁盤重新加載 < LI>調試模式，看看究竟是如何機器正在工作（每一步都有不同的顏色）
- MacOS X的GUI兼容
什麼是新的本新聞稿中：
- 在FA和TM機可以導出到EPS文件
- 綜合更新管理器
- 首選項：可以指定用於定義一個小量的過渡
- 字符固定在那裡小量過渡直接的狀態下開始的時候，而不是遵循非厄普西隆過渡
要求：
的Mac OS X和Java 1.4
評論沒有發現