Teori Bahasa & Otomata · Simulator Interaktif

Interactive Formal Language & Automata Simulator

Rancang, simulasikan, dan visualisasikan Finite State Automata, Regular Expression, Pushdown Automata, Context-Free Grammar, hingga Hierarki Chomsky dan Chomsky Normal Form — semuanya dalam satu ruang kerja interaktif.

q0 q1 q2 q3 a b a b
ACCEPTED
4 Modul Aktif
0Modul terintegrasi
0Waktu simulasi
0Berjalan di browser
Empat Pilar Teori Bahasa & Otomata

Satu platform, seluruh materi wajib

Setiap modul dibangun sebagai ruang kerja tersendiri, lengkap dengan visualisasi yang membuat konsep abstrak menjadi terlihat dan dapat diuji langsung.

Finite State Automata

Simulasikan DFA, NFA, konversi NFA→DFA, serta Moore & Mealy Machine dengan diagram transisi yang hidup.

DFA · NFA · MOORE · MEALY

Regular Expression

Uji pola RE terhadap string, lihat proses konversi ke NFA/DFA, dan bandingkan dengan grammar reguler yang setara.

RE → NFA → DFA

Pushdown Automata & CFG

Definisikan grammar bebas konteks, jalankan PDA di atas stack interaktif, dan telusuri derivasi hingga parse tree.

CFG · STACK · PARSE TREE

Hierarki Chomsky & CNF

Deteksi tipe grammar secara otomatis, lalu ikuti setiap langkah transformasi menuju Chomsky Normal Form.

TYPE 0–3 · CNF · GNF
Ruang Kerja Setiap Modul

Dibangun seperti aplikasi profesional

Bukan sekadar kalkulator — setiap modul punya antarmuka lengkap: input, visualisasi, trace, dan hasil yang bisa langsung dianalisis. Coba langsung di bawah ini, sungguhan berjalan.

MODUL 01 / FINITE STATE AUTOMATA

Simulator DFA & NFA dengan trace transisi penuh

Definisikan himpunan state, alfabet, fungsi transisi, state awal, dan state akhir — lalu jalankan string apa pun untuk melihat setiap langkah perpindahan state secara visual.

  • Diagram state interaktif dengan highlight state aktif
  • Tabel transisi δ(q, a) yang tersinkron dengan diagram
  • Hasil accepted / rejected beserta jejak transisi
  • Mode bonus: visualisasi Moore & Mealy Machine
Buka Simulator FSA
automatalab.my.id/fsa
Himpunan State (Q)
Alfabet (Σ)
Fungsi Transisi δ — format: state,simbol->tujuan (pisahkan dgn "|" untuk NFA)
State Awal
State Akhir
Uji String
Diagram State
Hasil
Belum dijalankan
Tabel Transisi
MODUL 02 / REGULAR EXPRESSION

Dari pola RE ke NFA, DFA, hingga grammar

Tulis Regular Expression, uji langsung terhadap string masukan, dan pelajari representasi setaranya dalam bentuk mesin maupun grammar reguler.

  • Pencocokan pola real-time dengan highlight karakter
  • Konversi otomatis RE → NFA (Thompson's Construction)
  • Tampilan aturan produksi grammar reguler yang setara
  • Riwayat pengujian dan daftar string yang ditolak
Buka Simulator Regex
automatalab.my.id/regex
Pola Regular Expression
Uji String
Hasil Pencocokan
Belum diuji
Grammar Reguler Setara (dari DFA)
Diagram DFA Hasil Konversi RE → NFA → DFA
MODUL 03 / PUSHDOWN AUTOMATA & CFG

Grammar, stack, dan parse tree dalam satu layar

Tulis Context-Free Grammar sendiri, simulasikan penerimaan string lewat Pushdown Automata, lalu bandingkan derivasi leftmost dan rightmost secara berdampingan.

  • Editor grammar dengan validasi produksi langsung
  • Visualisasi stack yang berubah setiap transisi
  • Derivasi leftmost & rightmost berdampingan
  • Parse tree grafis yang dapat diperbesar
Buka Simulator PDA & CFG
automatalab.my.id/pda-cfg
Grammar (CFG) — format: S->aSb|ε
Uji String
Belum dijalankan
Stack PDA (akhir)
Parse Tree
Derivasi Leftmost
Derivasi Rightmost
MODUL 04 / HIERARKI CHOMSKY & CNF

Konversi CFG ke CNF, langkah demi langkah

Masukkan grammar sembarang, biarkan sistem mendeteksi posisinya dalam Hierarki Chomsky, lalu ikuti transformasi bertahap menuju Chomsky Normal Form.

  • Deteksi otomatis tipe grammar (Tipe 0–3)
  • Visualisasi Hierarki Chomsky berlapis
  • Eliminasi ε-production, unit production, dan simbol berguna
  • Hasil akhir grammar dalam bentuk CNF (bonus: GNF)
Buka Konverter CNF
automatalab.my.id/chomsky
Grammar — format: A->alpha1|alpha2 (ε untuk kosong)
Hierarki Chomsky
TIPE 0 — UNRESTRICTED
TIPE 1 — CONTEXT-SENSITIVE
TIPE 2 — CFG
TIPE 3
Langkah Konversi ke CNF
Kenapa AutomataLab

Keunggulan AutomataLab

Dibangun agar konsep formal terasa nyata — dapat dilihat, diuji, dan dipahami tanpa perlu membayangkan sendiri di kepala.

Simulasi real-time

Setiap perubahan input langsung tervisualisasi tanpa reload, dari transisi state hingga pembentukan parse tree.

Visualisasi menyeluruh

Diagram state, tabel transisi, stack, dan parse tree ditampilkan bersamaan agar hubungan antar konsep terlihat jelas.

Jejak langkah lengkap

Setiap trace transisi dan langkah konversi dicatat, memudahkan analisis dan penulisan laporan pengujian.

Empat modul, satu ruang kerja

Tidak perlu berpindah aplikasi — seluruh materi wajib tersedia dalam satu antarmuka yang konsisten.

Pesan error yang deskriptif

Grammar tidak valid atau input di luar alfabet langsung dijelaskan penyebab dan cara memperbaikinya.

Responsif di semua perangkat

Tata letak menyesuaikan otomatis antara desktop dan mobile tanpa kehilangan detail visualisasi.

Panduan Penggunaan

Dokumentasi

Semua yang dibutuhkan untuk mulai memodelkan automata, dari definisi formal hingga ekspor hasil pengujian.

Memulai

Kenali antarmuka, buat definisi mesin pertama Anda, dan jalankan simulasi dalam hitungan menit.

Baca panduan

Referensi Modul

Sintaks penulisan grammar, format definisi mesin, serta daftar operator regex yang didukung.

Baca panduan

Ekspor & Laporan

Simpan hasil trace, diagram, dan parse tree sebagai gambar atau data terstruktur untuk laporan.

Baca panduan
Pertanyaan Umum

FAQ

Ya. Seluruh modul simulasi dapat diakses langsung dari browser tanpa perlu membuat akun atau login terlebih dahulu.
Grammar ditulis dalam notasi produksi standar (contoh: S → aSb | ε). Editor akan memvalidasi sintaks dan menandai simbol yang tidak dikenali.
Bisa. Modul Pushdown Automata & CFG menampilkan kedua jenis derivasi secara berdampingan beserta parse tree yang sama.
Ya. Setiap tahap — eliminasi ε-production, unit production, hingga normalisasi akhir — ditampilkan berurutan agar mudah diikuti.
Bisa. Tata letak menyesuaikan otomatis untuk layar kecil, meski untuk grammar kompleks disarankan menggunakan layar yang lebih besar.

Siap memodelkan automata pertama Anda?

Tidak perlu instalasi. Buka simulator, tulis definisi mesin Anda, dan lihat hasilnya seketika.