dfa algorithms

algoritma dfa

https://dfa.laane.xyz/

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

Proyek Tahun Terakhir 6CCS3PRJ untuk King's College London
Pengarang: Sten Arthur Laane
Pembimbing : Dr Agi Kurucz

Tentang

Proyek ini bertujuan untuk mengimplementasikan dan memvisualisasikan tiga algoritma Finite Automata yang digunakan untuk minimisasi keadaan (SM) dan pengujian kesetaraan (ET):

• Algoritma Pengisian Tabel (SM, ET)
• Algoritma n lg n Hopcroft (SM, ET)
• Algoritma (Hampir) Linier (ET)

Varian algoritma yang menghasilkan string saksi untuk menunjukkan apakah dua DFA setara juga diterapkan.

Selain itu, proyek ini bertujuan untuk menunjukkan kinerja algoritma dalam kasus terburuk menggunakan kumpulan data DFA khusus. Kumpulan data ini tersedia bagi pengguna untuk membuat DFA mereka sendiri.

Rincian lebih lanjut tentang algoritme dan kumpulan data dapat ditemukan dalam laporan yang menyertai proyek, yang dapat ditemukan di sini.

Petunjuk penggunaan aplikasi dapat ditemukan di halaman bantuan.

Perkembangan

Untuk menjalankan atau mengembangkan perangkat lunak ini secara lokal, diperlukan instalasi lokal node.js 14.x.

Perangkat lunak ini dapat dijalankan sebagai berikut:

1. Arahkan ke direktori proyek
2. Instal dependensi yang diperlukan menggunakan npm install
3. Jalankan server pengembangan lokal npm run start
4. Akses situs di http://localhost:3000

Pengujian dapat dijalankan menggunakan npm run test

Berkontribusi dan Masalah

Kontribusi selalu diterima. Siapa pun dapat membuka masalah dan menarik permintaan di GitHub

Lisensi

Proyek ini dilisensikan di bawah lisensi MIT