Finite State Automata

DFA, NFA (dengan ε-transisi), konversi NFA→DFA, Moore Machine, dan Mealy Machine.

Himpunan State (Q), pisahkan koma Alfabet (Σ), pisahkan koma Fungsi Transisi δ (satu per baris: state,simbol->target)

State Awal (q0)

Final State (F), pisahkan koma

String Input

Contoh di atas: DFA menolak string yang mengandung "00" berturut-turut.

Diagram State & Hasil

Himpunan State (Q) Alfabet (Σ) Fungsi Transisi δ (gunakan 'eps' untuk ε)

State Awal

Final State

String Input

Contoh di atas: NFA menerima string yang mengandung pola "ab".

Hasil Simulasi (Himpunan State Aktif)

Himpunan State NFA (Q) Alfabet (Σ) Fungsi Transisi δ

State Awal

Final State

DFA Hasil Konversi

Himpunan State (Q) Alfabet (Σ) Fungsi Transisi δ Fungsi Output (per state: state=output) State Awal String Input

Output Moore Machine

Himpunan State (Q) Alfabet (Σ) Fungsi Transisi δ Fungsi Output (per transisi: state,simbol=output) State Awal String Input

Contoh di atas mensimulasikan operasi XOR berurutan (1-bit adder mod 2).

Output Mealy Machine

Regular Expression

Konversi Regex → NFA (Thompson's Construction) → DFA, pengujian pola, dan tata bahasa reguler setara.

Regular Expression

Operator didukung: | union, juxtaposisi = konkatenasi, * kleene star, +, ?, () grouping.

String Uji

Hasil Pengujian

Tata Bahasa Reguler Setara (Right-Linear Grammar)

Ringkasan NFA / DFA

Definisikan CFG, uji keanggotaan string, lihat derivasi leftmost, pohon penurunan, dan jejak stack PDA.

Definisi CFG (satu produksi per baris, gunakan | untuk alternatif, ε untuk kosong) Start Symbol (opsional, default nonterminal pertama) String Uji

Contoh di atas: bahasa aⁿbⁿ, n≥0 (bahasa klasik non-regular).

Hasil Keanggotaan

Derivasi Leftmost

Pohon Penurunan (Parse Tree)

Jejak Simulasi PDA (Stack)

Klasifikasi tipe grammar dan konversi CFG → CNF (bonus: GNF) dengan langkah eksplisit.

Definisi CFG Start Symbol (opsional) Sertakan konversi ke GNF (bonus)

Klasifikasi Grammar

Hierarki Chomsky

Langkah Konversi ke CNF