Course Description
Mata kuliah ini membahas dasar-dasar teori komputasi yang menjadi fondasi dalam memahami cara kerja mesin komputasi dan bahasa formal. Mahasiswa akan mempelajari berbagai model matematis dari mesin komputasi seperti finite automata, pushdown automata, dan Turing machine, serta hubungan antara model-model tersebut dengan kelas-kelas bahasa formal seperti regular language, context-free language, dan recursively enumerable language.
Program Objectives (PO)
- Mahasiswa mampu menganalisis berbagai jenis bahasa formal dan model automata untuk mengidentifikasi solusi terhadap persoalan komputasi kompleks, dengan mempertimbangkan keterkaitan antar konsep dalam ilmu komputer dan perkembangan teknologi lintas disiplin.
- Mahasiswa mampu merancang dan mensimulasikan model automata (DFA, NFA, PDA, dan Turing Machine) yang merepresentasikan solusi terhadap masalah nyata di bidang informatika, serta mengimplementasikannya dalam bentuk program atau simulasi berbasis platform teknologi yang relevan dengan kebutuhan industri dan masyarakat.
- Mahasiswa mampu mengimplementasikan konsep dasar kerja sistem komputasi, seperti proses pengenalan pola dan pemrosesan bahasa formal, guna memecahkan masalah dalam bidang teknologi informasi.
- Mahasiswa mampu mengembangkan pemikiran logis, kritis, sistematis, dan kreatif dalam menerapkan model-model komputasi untuk menyelesaikan persoalan formal di bidang informatika, sesuai dengan standar kompetensi profesional yang berlaku.