dfa algorithms

dfa 演算法

https://dfa.laane.xyz/

 Finite State Machine Educational Tools: Implementing Equivalence Testing and State Minimization Algorithms

6CCS3PRJ 倫敦國王學院最後一年項目
作者：史丹‧阿瑟‧萊恩
主管：Agi Kurucz 博士

關於

本計畫旨在實現和視覺化用於狀態最小化（SM）和等價測試（ET）的三種有限自動機演算法：

• 填表演算法（SM、ET）
• n lg n Hopcroft 演算法（SM、ET）
• （近）線性演算法 (ET)

也實作了這些演算法的變體，它們會產生見證字串來指示兩個 DFA 是否等效。

此外，該專案旨在使用自訂 DFA 資料集演示演算法的最壞情況效能。使用者可以使用這些資料集來建立自己的 DFA。

有關演算法和資料集的更多詳細信息，請參閱該項目隨附的報告（此處）。

有關使用該應用程式的說明可以在說明頁面上找到。

發展

要在本地運行或開發此軟體，需要本地安裝 Node.js 14.x。

該軟體可以如下運作：

1. 導航到專案目錄
2. 使用npm install安裝必要的依賴項
3. 運行本地開發伺服器npm run start
4. 造訪該網站http://localhost:3000

可以使用npm run test來運行測試

貢獻和問題

隨時歡迎您的貢獻。任何人都可以在 GitHub 上提出問題並拉取請求

執照

該專案已獲得 MIT 許可