https://dfa.laane.xyz/
Finite State Machine Educational Tools: Implementing Equivalence Testing and State Minimization Algorithms
6CCS3PRJ キングス・カレッジ・ロンドン最終年度プロジェクト
著者: ステン・アーサー・レーン
監督者: アギ・クルツ博士
このプロジェクトは、状態最小化 (SM) と等価性テスト (ET) に使用される 3 つの有限オートマトン アルゴリズムを実装して視覚化することを目的としています。
2 つの DFA が同等かどうかを示す証人文字列を生成する、これらのアルゴリズムのバリアントも実装されています。
さらに、このプロジェクトは、カスタム DFA データセットを使用して、アルゴリズムの最悪の場合のパフォーマンスを実証することを目的としています。これらのデータセットは、ユーザーが独自の DFA を作成するために利用できるようになります。
アルゴリズムとデータセットの詳細については、ここにあるプロジェクトに付属のレポートを参照してください。
アプリの使用方法はヘルプページに記載されています。
このソフトウェアをローカルで実行または開発するには、node.js 14.x のローカル インストールが必要です。
ソフトウェアは次のように実行できます。
npm install使用して必要な依存関係をインストールするnpm run starthttp://localhost:3000のサイトにアクセスします。テストはnpm run test使用して実行できます
貢献はいつでも歓迎されます。誰でも GitHub で問題を開いたり、リクエストをプルしたりできます
このプロジェクトは MIT ライセンスに基づいてライセンスされています
