Selamat datang di perkuliahan Teori bahasa automata kelas H1 dan I1 Mahasiswa Institut Teknologi Adhi Tama Surabaya (ITATS) jurusan teknik informatika. Mata kuliah Teori
Bahasa otomata merupakan mata kuliah wajib, yang diselenggarakan agar mahasiswa
mempunyai pengetahuan dan kemampuan
memahami teori Otomata, bahasa dan komputasi. Sebagai salah satu mata
kuliah wajib, diharapkan akan memiliki pengetahuan tentang aturan dari bahasa
regular dan bahasa context Free.
Jadwal Kuliah kelas H1 :
Peraturan :
Jadwal Kuliah kelas H1 :
- Senin (18:00)
- Rabu (18:00)
Jadwal Kuliah kelas I1 :
- Senin (19:40)
- Rabu (16:30)
Kontrak Kuliah :
- Kehadiran : 5%
- Tugas : 15 %
- Presentasi & Quis : 20%
- UTS : 20%
- UAS & Final project : 40%
Peraturan :
- Toleransi keterlambatan 15 menit.
- Tidak diperkenankan titip absen (kalau ada yang titip absen otomatis tidak lulus)
- Tidak ada Quis/Uts/UAS susulan (kecuali ada hal yang patut di beri toleransi misal : sakit)
- Tugas harus tepat deadline (kalau tidak akan di kurangi nilainya sesuai dengan waktu keterlambatan)
Materi yang akan di sajikan dalam minggu pertama sampai 16
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
|
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)
|
Referensi
1.
Hopcroft, John. E, dan Jeffrey D. Ullman. Introduction
to Automata Theory, Languages,
and Computation, USA
2.
Linz
3.
Narendra, Kumara, Learning Automata an Introduction, Prentice Hall,
1989.
Reverz, G., Introduction
to Formal Language and 
0 komentar:
Posting Komentar