有限狀態機模擬器
在本機編輯有限狀態機模擬器,檢查可讀圖形並匯出完整結果。
finite-state-machine-simulator本機處理
正在啟用本機工具…
圖形與資料
編輯輸入後建立圖形;所有預覽均在本機產生。
處理規則與限制
確定性精確事件比對,拒絕重複(from,event),最多80狀態/200事件/300轉移。無轉移時記錄錯誤並維持狀態;圖形可達性與模擬軌跡分開。 資料僅留本機。每欄最多32 KiB;200筆、80圖節點/300邊、JSON深度30/10000節點、2000座標。完整結果最多1 MiB;圖形最多800萬像素及單邊16384px。可編輯文字移動/排序項目後重建;SVG為可讀模型。
如何使用這個工具
編輯具標籤的文字欄位後建立,檢查圖形及資料,再複製或下載JSON/SVG。文字編輯提供拖曳的鍵盤替代。
不適合用在什麼情況
確定性精確事件比對,拒絕重複(from,event),最多80狀態/200事件/300轉移。無轉移時記錄錯誤並維持狀態;圖形可達性與模擬軌跡分開。 資料僅留本機。每欄最多32 KiB;200筆、80圖節點/300邊、JSON深度30/10000節點、2000座標。完整結果最多1 MiB;圖形最多800萬像素及單邊16384px。可編輯文字移動/排序項目後重建;SVG為可讀模型。