Announcement
- [9/12/2015-16:54] Soal latihan UAS sudah bisa didownload di bagian Homework. Jika ada pertanyaan silakan hubungi saya..
- [1/12/2015-16:20]Jangan lupa mengerjakan Tubes, pengumpulan mulai 7-11 Desember 2015.
- [6/11/2015-23:00]Materi PDA sudah diupload.
- [6/11/2015-11:00]Reading material dan slide pertemuan akan diupload hari ini, maaf atas keterlambatannya, silakan di cek besok, dan dibaca sebelum selasa
Course Schedule and Materials
- Slide adalah slide yang digunakan pada kelas paralel, materi mungkin sedikit berbeda dari segi waktu, cara, dan detail penyampaian.
- Readings harap dibaca sebelum perkuliahan.
Tanggal |
Materi (sesuai di kelas) |
Slide |
Readings |
25/8/2015 |
Introduksi, Overview Teori Himpunan |
lec1 |
– |
26/8/2015 |
Teori Bahasa, Grammar, dan Tingkat Bahasa |
lec2 |
– |
1/9/2015 |
Tingkat Bahasa; Regular Grammar dan Finite Automata |
lec3 |
FA and RG |
2/9/2015 |
Tidak ada kuliah |
– |
– |
8/9/2015 |
Deterministic Finite Automata (DFA) |
lec4 |
– |
15/9/2015 |
Non-Deterministic Finite Automata (NFA) |
lec5 |
NFA |
16/9/2015 |
NFA dengan -move |
lec6 |
– |
22/9/2015 |
Minimum DFA |
lec7 |
– |
UTS |
UTS |
UTS |
UTS |
3/11/2015 |
PDA |
lec10 |
– |
4/11/2015 |
PDA latihan |
– |
– |
10/11/2015 |
CFG |
lec12 |
PDA |
11/11/2015 |
DPDA & LL Parser |
lec13 |
– |
1/12/2015 |
Machine Turing |
lec14 |
TM |
1/12/2015 |
Combining Machine Turing |
lec15 |
– |
1/12/2015 |
Basic Building Block |
lec16 |
– |
Homework
Tugas dikirim ke email [email protected] dengan mencantumkan subject yang telah ditentukan (copy paste text pada kolom subject, jangan ditambah atau dikurangi)
Tugas Besar
- Deskripsi tugas besar bisa dilihat di sini.
- Tugas Besar ini dikerjakan secara berkelompok, setiap kelompok terdiri dari maksimal 3 orang
- Diharapkan masing-masing anggota kelompok dapat benar-benar berkontribusi atas pekerjaan kelompoknya, serta memperkecil kemungkinan ‘anggota pasif’ di dalam kelompok
- Deskripsi tugas besar dan mekanisme penilaian akan dilakukan oleh Asisten, dengan pengawalan ketat oleh koordinator Mata Kuliah Teori Komputasi.
- Detail lainnya menyusul
Textbooks and recommended readings
- Brookshear, Glen J., “Theory of Computation : Formal Language, Automata and Complexity”, The Benjamin/Cummings Publishing Company, 1989
- Revesz, Gyorgy E., “Introduction to Formal Languages”, McGraw Hill Book Company, 1985
- Hopcroft, Jhon E., and Jeffery D. Ullman, “Introduction to Automata Theory, Language, and Computation”
- Linz Peter, “An Introduction to Formal Languages and Automata 5th Edition, Jones & Bartlett Publishers”, ISBN: 144961552X, 9781449615529, 2011
- Utdirartatmo, Firrar, “Teknik Kompilasi”, J&J Learning Yogyakarta, ISBN: 979-9398-11-8, 2001
- Hariyanto, Bambang, “Teori Bahasa, Otomata dan Komputasi serta Terapannya”
- Sipser, M, “Introduction to the Theory of Computation”, Cengage Learning, 2012
Bahan Kajian
sebelum UTS :
- Pendahuluan; Teori Himpunan
- Grammar dan Tingkat Bahasa; Regular Grammar
- Finite Automata (FA); Diagram dan Tabel Transisi
- Deterministic Finite Automata (DFA)
- Non-Deterministic Finite Automata (NDFA)
- NDFA dengan ε-Move
- Minimum DFA
- Operasi FA dan Regular Expression; FA vs. RG
- Mesin Mealy dan Moore [pengayaan]
setelah UTS :
- Pushdown Automata (PDA)
- Context Free Grammar (CFG)
- PDA vs CFG
- Chomsky Normal Form (CNF)
- Deterministic PDA dan LL Parser
- Pumping Lemma [pengayaan]
- Turing Machine
- Combining Turing Machines
- Basic Building Block
Komponen Penilaian
Activities |
Percentages |
Tugas harian dan Kuis |
15% |
Tugas besar |
20% |
Ujian Tengah Semester |
35% |
Ujian Akhir Semester |
30% |