Panduan
Daftar Istilah & Nama State
Halaman ini menjelaskan singkatan nama state yang muncul di diagram Modul 1 (NUM, NUMDOT, LPAREN, dan seterusnya) serta istilah umum teori otomata yang dipakai di seluruh aplikasi.
State DFA Tokenizer (Modul 01)
Ini nama-nama state pada DFA lexer di halaman Tokenizer, dari diagram "Simulator DFA/NFA Kustom" dan "Tokenizer Kalkulator".
| State | Kepanjangan | Arti |
|---|---|---|
| S | Start | State awal, belum membaca karakter apa pun. |
| NUM | Number | Sedang/sudah membaca deretan digit bulat, mis. "12". |
| NUMDOT | Number + Dot | Baru saja membaca titik desimal setelah digit, mis. "12.", belum final karena harus diikuti digit lagi. |
| NUMFRAC | Number Fraction | Sedang membaca digit pecahan setelah titik, mis. "12.5", token NUMBER lengkap. |
| PLUS | Plus | Token operator "+". |
| MINUS | Minus | Token operator "-". |
| STAR | Star | Token operator "*". |
| SLASH | Slash | Token operator "/". |
| LPAREN | Left Parenthesis | Token kurung buka "(". |
| RPAREN | Right Parenthesis | Token kurung tutup ")". |
| WS | Whitespace | Spasi, dibuang dan tidak jadi token, cuma dipakai memisah token lain. |
Istilah Umum Teori Otomata
| Istilah | Arti |
|---|---|
| DFA | Deterministic Finite Automaton: dari satu state dan satu simbol, tujuannya selalu tepat satu state. |
| NFA | Nondeterministic Finite Automaton: dari satu state dan satu simbol, tujuannya boleh lebih dari satu state, atau nol. |
| ε (epsilon) | Transisi tanpa membaca karakter apa pun, cuma berpindah state secara "gratis". |
| Subset Construction | Algoritma mengubah NFA jadi DFA: satu state DFA mewakili satu himpunan state NFA yang aktif bersamaan. |
| Thompson Construction | Algoritma mengubah pola regex jadi NFA, satu simpul untuk tiap operator dalam pola. |
| Maximal Munch | Strategi lexer: ambil kecocokan token terpanjang yang mungkin, bukan berhenti di kecocokan pertama. |
| PDA | Pushdown Automaton: mesin state ditambah stack, dipakai mengenali bahasa bebas konteks. |
| CFG | Context-Free Grammar: aturan produksi bentuk "satu nonterminal → deretan simbol". |
| CNF | Chomsky Normal Form: bentuk baku CFG, tiap aturan cuma "A → B C" atau "A → a". |
| GNF | Greibach Normal Form: bentuk baku CFG, tiap aturan diawali tepat satu terminal. |
| CYK | Cocke-Younger-Kasami: algoritma pengecekan keanggotaan string pada grammar CNF lewat tabel. |
| Derivasi (leftmost/rightmost) | Urutan penerapan aturan produksi dari simbol awal sampai jadi string, dimulai dari nonterminal paling kiri atau paling kanan. |
| Parse Tree | Pohon yang menggambarkan bagaimana grammar menurunkan sebuah string. |
| State Akhir (Final) | State di himpunan F, kalau mesin berhenti di sini setelah membaca semua input, string diterima. Boleh lebih dari satu. |