Finite State Automata

Definisikan DFA/NFA, uji string, konversi NFA→DFA, atau simulasikan Moore/Mealy Machine.

Definisi Mesin

Tipe Mesin States (pisahkan koma) — cth: q0,q1,q2 Alfabet Σ (pisahkan koma) — cth: 0,1 State Awal State Akhir (pisahkan koma)

Fungsi Transisi δ — satu baris per aturan.
DFA/NFA: state,simbol>tujuan (NFA boleh >1 tujuan dipisah |, gunakan eps untuk ε)
Moore: state,simbol>tujuan + output per state di kolom terpisah
Mealy: state,simbol>tujuan:output

Uji String

Diagram State

Trace Eksekusi

> menunggu definisi mesin…

Regular Expression

Masukkan RE (operator: | union, * kleene star, + plus, ? opsional, () grouping, konkatenasi implisit). Sistem mengonversi ke NFA (Thompson) → DFA, lalu menguji string.

Pola

Regular Expression

Uji String

Grammar Reguler Setara (dari DFA)

> belum ada DFA

NFA (Thompson Construction)

DFA (Subset Construction)

Pushdown Automata & Context-Free Grammar

Definisikan CFG, lalu uji apakah string dapat diturunkan. Sistem menampilkan derivasi (leftmost/rightmost), pohon penurunan, dan simulasi jejak PDA.

Definisi CFG

Simbol Awal Aturan Produksi — satu per baris, format A->alpha, gunakan | untuk alternatif, eps untuk ε

Uji String Mode Derivasi

Langkah Derivasi

> belum ada hasil

Pohon Penurunan (Parse Tree)

Jejak PDA (Simulasi Stack)

> belum ada simulasi

Hierarki Chomsky & Chomsky Normal Form

Klasifikasikan grammar ke dalam Tipe 0–3, lalu konversi CFG sembarang ke CNF secara bertahap (eliminasi ε, unit production, dan binarisasi).

Grammar Input

Simbol Awal Aturan Produksi — satu per baris, format A->alpha, | untuk alternatif, eps untuk ε

Klasifikasi Hierarki Chomsky

> belum diklasifikasi

Piramida Hierarki Chomsky

Langkah Transformasi ke CNF

> menunggu grammar…