Modul 01 · q0

Finite State Automata

Definisikan mesin (Q, Σ, δ, q0, F), lalu jalankan sebuah string untuk melihat trace transisi lengkap serta visualisasi diagram state. Mendukung DFA, NFA (dengan konversi ke DFA via subset construction), Moore Machine, dan Mealy Machine.

Definisi DFA

Himpunan State (Q)

Alfabet (Σ)

Fungsi Transisi (δ) — satu baris: from,symbol,to

State Awal (q0)

State Akhir (F)

String Uji

Contoh di atas menerima semua string atas {a,b} yang berakhiran "ab".

Hasil

Jalankan DFA untuk melihat hasil trace & diagram.

Definisi NFA

Himpunan State (Q)

Alfabet (Σ)

Fungsi Transisi (δ) — from,symbol,to (gunakan "eps" atau "ε" untuk epsilon)

State Awal

State Akhir (F)

String Uji

Contoh: NFA untuk bahasa (a|b)*abb.

Hasil Simulasi NFA

Jalankan simulasi untuk melihat himpunan state aktif per langkah.

Hasil Konversi NFA → DFA (Subset Construction)

Klik "Konversi ke DFA" untuk melihat state DFA hasil subset construction.

Definisi Moore Machine

Output melekat pada STATE.

Himpunan State (Q)

Alfabet (Σ)

Fungsi Transisi (δ) — from,symbol,to

Output per State — state,output

State Awal

String Uji

Contoh: pencacah paritas jumlah 'a' (Even/Odd).

Hasil

Jalankan mesin untuk melihat output string & diagram.

Definisi Mealy Machine

Output melekat pada TRANSISI.

Himpunan State (Q)

Alfabet (Σ)

Fungsi Transisi (δ) — from,symbol,to,output

State Awal

String Uji

Contoh: output '1' setiap kali transisi masuk ke state 'O' via simbol 'a'.

Hasil

Jalankan mesin untuk melihat output string & diagram.