Teori Bahasa dan Automata

Salah satu buku acuan adalah Otomata & Bahasa Formal karya Swingly Purba terbitan Graha Ilmu. Bab Pendahuluan berisi konsep bahasa dan otomata, himpunan, pembuktian, relasi dan fungsi, graph dan tree. Bab Teori Bahasa berisi elemen bahasa, tata bahasa, penggabungan bahasa (concatenating languages).

Bab Finite State Automata berisi definisi formal, non-deterministic finite state automata, transformasi non-deterministic finite state automata menjadi deterministic finite state automata, minimisasi deterministic finite state automata, eqivalen mesin (automata), metode yang sistematis untuk menentukan equivalent state (systematic reduction method), penggabungan automata --> MATERI HARI KE-14, tahapan compiler terkait mesin - eqivalen - automata, dilanjutkan ke bab FSA dengan output.

Bab Regular Grammar dan Finite State Automata berisi konstruksi finite state automata dari regular grammar, konstruksi regular grammar dari dari finite state automata.

Bab Ekspresi Regular dan Finite State Automata berisi hubungan antara ekspresi regular dengan FSA, pembentukan FSA dari Ekspresi Regular, Ekspresi regular dari Regular Grammar.

Bab Finite State Automata dengan Output berisi Moore Machine, Mealy Machine, Eqivalensi Mesin Moore dan Mealy --> LANJUTAN HARI KE-14, bagai mana mesin - model kalkulasi - perancangan compiler.

Bab Tata Bahasa Bebas Konteks (context free grammar) berisi derivation (penurunan string), derivation tree (pohon penurunan), leftmost dan rightmost derivation, ambiguity --> MATERI HARI KE-13, CFL - empty stack - PDA - final state dekat CFG.

Bab Penyederhanaan Tata Bahasa Bebas Konteks berisi penghilangan produksi useless (dead), penghilangan simbol-simbol yang in accessible, penghilangan null able non-terminal, penghilangan produksi unit.

Bab Bentuk Khusus Tata Bahasa Bebas Konteks berisi bentuk normal Chomsky, bentuk normal Greibach --> MATERI HARI KE-12.

Bab Push Down Automata (push down stack) berisi non deterministic push down automata, deterministic push down automata, push down automata dan context free languages --> MATERI HARI KE-10, -11.

Bab Mesin Turing berisi definisi formal, pengingat bahasa dan mesin Turing.

Bab LL (K) Grammar berisi definisi formal, first and follow, algoritme LL (1) parser.

PLUS PENJELASAN ULANG MATERI