有限狀態機模擬器
每行一條轉移,如 q0,0,q0 或 q0 -0-> q0 或 q0 0 -> q1。NFA 目標可寫多個,用 {q1,q2} 或 q1|q2;空轉移可寫 e、eps、epsilon、ε 或 @
機器類型:   輸入格式:   初態:   終態:
測試字串:   測試字串來源:   字母表:   最大長度:
軌跡:   狀態轉移表:   :   分隔符:
計算結果 下載 CSV
序號 結果 狀態 說明

工具介紹及使用方法

貼上狀態轉移表即可模擬 DFA 與帶 ε 空轉移的 NFA,自動辨識多種寫法,給出確定性檢測、可達與不可達狀態,並輸出逐步轉移軌跡。

使用方法:
在輸入框填入數值或算式,設定好參數後點擊計算,工具會立即顯示結果,過程與結果都能複製使用。

留言板

全部留言 →
0/200

  • 還沒人說話,來搶個沙發?