Finite State Automata Simulator

Simulasikan DFA dan NFA, lihat trace transisi state, dan visualisasikan diagram automata secara grafis.

⚙️ Tipe Mesin

DFA NFA

📋 Definisi Mesin

States (Q) pisahkan koma

Alphabet (Σ) pisahkan koma

Start State (q₀)

Final States (F) pisahkan koma

🔄 Fungsi Transisi (δ)

Isi states & alphabet lalu klik "Buat Tabel".
Untuk NFA: pisahkan multiple states dengan koma. Gunakan ε untuk epsilon transition.

▶️ Uji String

String Input

🗺️ Visualisasi State Diagram

🤖

Definisikan mesin dan klik Simulasikan untuk melihat diagram

Regular Expression Simulator

Konversi Regular Expression ke NFA/DFA menggunakan Thompson's Construction dan uji kecocokan string.

📝 Masukkan Regular Expression

Regular Expression

| union * kleene star + satu atau lebih ? opsional ( ) grouping ε epsilon

String Uji

🗺️ Visualisasi NFA

🔤

Masukkan Regular Expression dan klik Proses RE

Simulasikan PDA berdasarkan CFG, tampilkan proses derivasi, dan visualisasikan pohon penurunan (parse tree).

📋 Definisi Grammar (CFG)

Start Symbol

Aturan Produksi satu aturan per baris, gunakan | untuk alternatif

Contoh: S -> aSb | ab atau S -> aS | a
Non-terminal: huruf kapital. Terminal: huruf kecil/angka.

String Uji

Jenis Derivasi

Leftmost Rightmost

🌳 Pohon Penurunan (Parse Tree)

🌱

Definisikan grammar dan string input, lalu klik Parse & Derivasi

Klasifikasikan tipe grammar (Tipe 0–3) dan konversi CFG ke CNF dengan visualisasi setiap langkah transformasi.

📋 Masukkan Grammar

Start Symbol

Aturan Produksi

🏛️ Hierarki Chomsky

Tipe 0 Unrestricted

Tipe 1 Context-Sensitive

Tipe 2 Context-Free

Tipe 3 Regular