Teori Bahasa & Otomata - Capstone Project

Kalkulator aritmatika yang memperlihatkan cara kerjanya sendiri.

Coba pikirkan bagaimana kalkulator membaca tulisan 12 + 3 * (4 - 1) dan tahu harus menghitungnya dalam urutan yang benar. Di balik layar, ada empat tahap yang semuanya adalah konsep Teori Bahasa dan Otomata. Otomatika membongkar keempat tahap itu satu per satu supaya kelihatan, bukan cuma dijelaskan di atas kertas.

Alur Pipeline Compiler Otomatika
00INPUT
-
→
01TOKENIZER
FSA
→
03PARSER
PDA
→
✓HASIL
-
Kenapa harus ekspresi aritmatika?

Ketimbang empat modul yang berdiri sendiri-sendiri dan tidak nyambung satu sama lain, Otomatika memakai satu masalah nyata (menghitung ekspresi matematika) sebagai benang merah. Token dari Modul 1 dipakai sebagai simbol terminal di Modul 3. Pola regex di Modul 2 adalah cara ringkas menulis aturan yang dipakai Modul 1. Grammar di Modul 3 adalah bahan mentah buat konversi di Modul 4. Semuanya saling berkaitan, persis seperti compiler sungguhan.

01Finite State Automata

Analogi sederhana: bayangkan mesin dengan beberapa "ruangan" (state). Mesin cuma bisa ingat sedang di ruangan mana, tidak bisa ingat apa-apa lagi. Tiap baca satu karakter, ia pindah ruangan sesuai aturan. Itulah DFA/NFA, dan itu juga cara tokenizer Otomatika membaca ekspresi karakter demi karakter.

Buka Tokenizer & simulator FSA →
02Regular Expression

Analogi sederhana: regex adalah cara singkat menuliskan pola, seperti resep. Tapi komputer tidak bisa langsung "menjalankan" resep, jadi resep itu diterjemahkan dulu jadi mesin state (NFA), baru disederhanakan jadi DFA yang benar-benar dieksekusi.

Buka Kompilasi & Uji Regex →
03Pushdown Automata & CFG

Analogi sederhana: DFA tidak sanggup menghitung kurung yang berpasangan, karena ia tidak punya "ingatan". PDA punya tambahan stack (tumpukan), seperti tumpukan piring, buat mengingat berapa kurung yang masih terbuka. Itulah kenapa ekspresi bersarang butuh PDA, bukan cuma DFA.

Buka Parser Ekspresi & PDA →
04Hierarki Chomsky & CNF

Analogi sederhana: grammar bebas boleh ditulis dengan berbagai gaya, tapi komputer lebih suka format yang seragam. CNF adalah "format baku" itu, setiap aturan cuma boleh berbentuk dua bentuk tertentu saja, supaya algoritma seperti CYK bisa jalan dengan pasti.

Buka Konversi CNF/GNF →