Automata and Language Theory / Teori Bahasa dan Automata
Matakuliah ini membantu mahasiswa dalam memahami konsep dasar tatabahasa formal, tata bahasa bebas konteks, dan alat-alat hitung automata, serta memahami, mengevaluasi dan menyelesaikan studi kasus yang terjadi dalam dunia Teknik Informatika sesuai dengan Teori Bahasa Automata.
Bahan kajian:
- Komponen Bahasa Formal
- Automata Hingga Deterministik / Deterministic Finite Automata (DFA)
- Automata Hingga Non-Deterministik / Non-Deterministic Finite Automata (NFA)
- Transformasi NFA ke DFA
- Ekspresi Reguler / Regular Expression (RE)
- Automata Hingga Non-Deterministik epsilon (eNFA)
- Transformasi RE ke eNFA
- Transformasi eNFA ke NFA
- Transformasi DFA ke RE
- Bahasa Bebas Konteks
- Tata Bahasa Bebas Konteks / Context Free Grammar (CFG)
- Push Down Automata (PDA)
- Transformasi CFG ke PDA
- Mesin Turing / Turing Machine