Automata Theory Course

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.

• PLO-1
  Mampu menganalisis persoalan computing yang kompleks untuk mengidentifikasi solusi pengelolaan proyek teknologi bidang informatika/ilmu komputer dengan mempertimbangkan wawasan perkembangan ilmu trandisiplin (KNO-01)
• PLO-2
  Mampu mendesain dan mensimulasikan aplikasi teknologi multi-platform yang relevan dengan kebutuhan industri dan masyarakat dengan menggunakan konsep teoritis bidang pengetahuan ilmu komputer/informatika (KNO-02)
• PLO-3
  Mampu mengimplementasikan pengetahuan cara kerja sistem komputer untuk memecahkan masalah teknologi informasi (KNO-03)
• PLO-3
  Mengembangkan pemikiran logis, kritis, sistematis, dan kreatif dalam melakukan pekerjaan yang spesifik di bidang keahliannya serta sesuai dengan standar kompetensi kerja bidang yang bersangkutan

PO-1
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.

PO-2
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.

PO-3
Mahasiswa mampu mengimplementasikan konsep dasar kerja sistem komputasi, seperti proses pengenalan pola dan pemrosesan bahasa formal, guna memecahkan masalah dalam bidang teknologi informasi.

PO-4
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.