Minggu ke
|
TUJUAN INSTRUKSIONAL
KHUSUS
|
POKOK BAHASAN
|
SUB POKOK BAHASAN
|
SLIDE
|
1.
|
Memahami
Konsep dasar dan Model Bahasa dan Automata.
|
Konsep dasar Model Bahasa dan Automata.
|
Model-model sederhana formalisasi matematis
yang terbentuk
secara bertahap, hubungan dengan situasi-situasi
dunia nyata (masalah-masalah model-model
komputasi sedehana).
|
|
2.
|
Memahami
konsep Bahasa-bahasa Regular,Ekspresi Regular.
|
Bahasa-bahasa
Regular,Ekspresi Regular
Tor.
|
Ekspresi Regular, Definisi Formal Ekspresi Reguler,
Hirarki antar operator, dan Aljabar Ekspresi Reguler.
|
|
3.
|
Memahami konsep Finite Automata, Operasi Himpunan pada Bahasa Regular.
|
Finite Automata, Operasi Himpunan pada Bahasa Regular.
|
Definisi FA, Perluasan fungsi transisi d menjadi d*, FA Sebagai Recognizer dari
Bahasa Regular, danOperasi-Operasi Himpunan.
|
|
4.
|
Memahami
konsep NFA, Konversi NFA ke FA, NFA-Lambda, Konversi NFA-Lambda ke NFA.
|
NFA, Konversi NFA ke FA, NFA-Lambda, Konversi NFA-Lambda ke NFA.
|
Definisi NFA, Fungsi
Perluasan Transisi d *, NFA sebagai mesin pengenal
bahasa reguler, danTeorema konversi NFA ke FA.
|
|
5.
|
Memahami Teorema Kleene, Minimisasi FA.
|
Teorema Kleene, Minimisasi FA.
|
Transisi Definisi NFA Fungsi Perluasan Transisi d, -closure dari Himpunan Status, Algoritma Pencarian (S), Definisi d* untuk NFA , Kompatibilitas NFA dengan NFA, Menentukan d1 dari d.
|
|
6.
|
Memahami Pumping Lemma, Sifat-sifat Bahasa Regular
|
Pumping Lemma, Sifat-sifat Bahasa Regular
|
Minimalisasi String, keberadaan string, Relasi ekivalensi tak terbedakan,
Partisi Kelas Ekivalensi,
|
|
7.
|
Memahami Grammar dan Bahasa Bebas Konteks |
Grammar-Bebas Konteks (CFG) dan Bahasa Bebas Konteks (CFL)
|
Definisi CFG, Definisi CFL, Operasi-operasi gabungan, konkatenase dan
kleene pada CFL, Pohon Penurunan, Ambiguitas pada CFG
|
|
8.
|
Evaluasi
pemahaman dan proses pembelajaran mahasiswa
|
Ujian
Tengah Semester (UTS)
|
|
|
9.
|
Memahami Pushdown Automata
|
Pushdown Automata (PDA)
|
Definisi PDA, Bahasa PDA, Ekuivalensi PDA dan CFG, PDA Deterministik
|
Download
|
10.
|
Memahami Properti dari Bahasa Bebas Konteks |
Bentuk Normal CFG |
Eliminasi useless symbols, Komputasi generating & reachable symbols,
Eliminasi epsilon-production, Eliminasi Unit-production, Chomsky Normal Form
|
Download
|
11.
|
Memahami Properti dari Bahasa Bebas Konteks
|
Chomsky Normal Form
|
Menghilangkan
produksi , Menghilangkan produksi unit, Bentuk CNF,
|
Download
|
12.
|
Memahami Properti dari Bahasa Bebas Konteks
|
Thesis
Church-Turing, TM, Kombinasi TM
|
Model komputasi, Model mesin turing, Kombinasi Mesin turing, dan
komputasi mesin parsial.
|
Download
|
13.
|
Memahami Properti dari Bahasa Bebas Konteks
|
TM
Multitape, NTM, UTM
|
Mesin
turing multitape, Mesin turing nondeterministik,Mesin turing universal
|
Download
|
14.
|
Memahami Properti dari Bahasa Bebas Konteks
|
Bahasa-bahasa
Rekursif dan Rekursively Enumerable, Bahasa Non-RE
|
Bahasa-bahasa
non RE.Unrestricted grammar, Grammar dan bahasa context sensitive, dan
Hirarky Chomsky
|
Download
|
15.
|
Memahami
Unsolvable Problem dan Solveable Problem
|
Unsolvable Problem dan Solveable Problem
|
Perkembangan
automata. Perkembangan permasalahan yang bisa dipecahkan dengan
automata.Perkembangan masalah-masalah yang tidak bisa dipecahkan dengan
automata.
|
Download
|
16.
|
Evaluasi
pemahaman dan proses pembelajaran mahasiswa
|
Ujian
Akhir Semester (UAS)
|
|
|