模擬，可視化和轉化有限狀態自動機和圖靈機的工具。 在創建，模擬和轉換DFA和NFA機 創建和模擬TM 批量測試TM：！實用的功能來快速測試一堆文件 易於使用的圖形用戶界面（多文檔） 對象之間的智能鏈接 機器可以使用鼠標繪製 - 和調整隨時 多台計算機可在一個文檔中創建 多個文檔可以打開在同一時間 文檔可以保存並從磁盤重新加載 < LI>調試模式，看看究竟是如何機器正在工作（每一步都有不同的顏色） MacOS X的GUI兼容 什麼是新的本新聞稿中： 在FA和TM機可以導出到EPS文件...
模擬，可視化和轉化有限狀態自動機和圖靈機的工具。 在創建，模擬和轉換DFA和NFA機 創建和模擬TM 批量測試TM：！實用的功能來快速測試一堆文件 易於使用的圖形用戶界面（多文檔） 對象之間的智能鏈接 機器可以使用鼠標繪製 - 和調整隨時 多台計算機可在一個文檔中創建 多個文檔可以打開在同一時間 文檔可以保存並從磁盤重新加載 < LI>調試模式，看看究竟是如何機器正在工作（每一步都有不同的顏色） MacOS X的GUI兼容 什麼是新的本新聞稿中： 在FA和TM機可以導出到EPS文件...
