有限狀態機模擬器
每行一條轉移，如 q0,0,q0 或 q0 -0-> q0 或 q0 0 -> q1。NFA 目標可寫多個，用 {q1,q2} 或 q1|q2；空轉移可寫 e、eps、epsilon、ε 或 @
機器類型:
輸入格式:
初態:
終態:
測試字串:
測試字串來源:
字母表:
最大長度:
軌跡:
狀態轉移表:
:
分隔符:
計算結果
下載 CSV
| 序號 | 結果 | 狀態 | 說明 |
|---|
工具介紹及使用方法
線上有限狀態機（FSM）模擬器，把狀態轉移表貼進輸入框即可模擬 DFA 與 NFA，結果同時給出表格與純文字，可直接複製或匯出 CSV。
輸入格式（每行一條轉移，三種寫法都支援，預設自動辨識）：
1.
2.
3.
關鍵參數：機器類型選 DFA 或 NFA；NFA 的目標狀態可寫多個，用
結果含三部分：正規化的狀態轉移表（同一「狀態＋符號」合併成一行，多目標全部列出）、每步的狀態轉移軌跡（NFA 用狀態集合表示）、以及測試結果（是否接受、終止狀態集合）。彙總區還會給出狀態集合、字母表、初態、終態、確定性檢測與可達性分析。
兩點注意：同一「狀態＋符號」出現多個目標時不是 DFA，工具會明確提示而不是靜默取第一個；碰到未定義的轉移按「陷入死狀態」處理並明確標註，測試串出現字母表之外的符號也會單獨提示。
輸入格式（每行一條轉移，三種寫法都支援，預設自動辨識）：
1.
q0,0,q0（逗號分隔）；2.
q0 -0-> q0、q0 -a-> q1（箭頭寫法，符號可為空）；3.
q0 0 -> q1（空格＋箭頭）。關鍵參數：機器類型選 DFA 或 NFA；NFA 的目標狀態可寫多個，用
{q1,q2} 或 q1|q2。初態預設取第一條轉移的來源狀態。終態以逗號分隔填寫，留空表示沒有終態。測試串填一條具體字串；也可以選「列舉全部短串」，用字母表與最大長度自動生成。空轉移符號支援 ε、eps、@。結果含三部分：正規化的狀態轉移表（同一「狀態＋符號」合併成一行，多目標全部列出）、每步的狀態轉移軌跡（NFA 用狀態集合表示）、以及測試結果（是否接受、終止狀態集合）。彙總區還會給出狀態集合、字母表、初態、終態、確定性檢測與可達性分析。
兩點注意：同一「狀態＋符號」出現多個目標時不是 DFA，工具會明確提示而不是靜默取第一個；碰到未定義的轉移按「陷入死狀態」處理並明確標註，測試串出現字母表之外的符號也會單獨提示。
操作步驟
- 把狀態轉移逐行貼到輸入框。
- 選擇機器類型、輸入格式，填寫初態、終態與測試串等參數。
- 點擊執行。
- 查看狀態轉移表、模擬軌跡與測試結果，複製或匯出。
留言板
全部留言 →-
還沒人說話，來搶個沙發？