Nothing close enough? Start from a blank state diagram → Describe it in one paragraph.
How to
How to use a state diagram template.
- 01定義 NFA
列出 NFA 的狀態、輸入字母表、轉移函數、起始狀態與接受狀態，包括任何 ε-轉移。
- 02計算 ε-閉包
針對每組 NFA 狀態，找出不消耗輸入即可到達的所有狀態，以正確處理 ε-轉移。
- 03從子集合建立 DFA 狀態
為模擬過程中造訪的每個不同 NFA 狀態子集合建立 DFA 狀態，再根據 NFA 的移動方式連接轉移。
- 04標示 DFA 的起始與接受狀態
將原始起始狀態的 ε-閉包設為 DFA 起始狀態；任何包含至少一個 NFA 接受狀態的子集合，都對應為 DFA 接受狀態。
- 05產生狀態圖
將 NFA 輸入 ChatDiagram 的狀態圖產生器，以視覺化方式呈現子集合構造並匯出結果。
FAQ
Questions about state diagram templates
什麼是子集合構造演算法？
子集合構造會將非確定有限自動機（NFA）轉換為等價的確定有限自動機（DFA），方法是把每一組 NFA 狀態視為單一 DFA 狀態。
ε-轉移會如何影響子集合構造？
ε-轉移需要先計算每個子集合的 ε-閉包：將不消耗輸入符號即可從該子集合到達的所有狀態納入其中，再決定後續轉移。
將具有 n 個狀態的 NFA 轉換時，DFA 狀態數最多是多少？
在最壞情況下，子集合構造最多可能產生 2^n 個 DFA 狀態；不過許多實際的 NFA 轉換後，狀態數會少得多。
子集合構造能處理 NFA 中的多個接受狀態嗎？
可以。任何包含至少一個 NFA 接受狀態的 DFA 狀態，其對應子集合都會成為接受狀態，因此能自然處理多個接受狀態。