Matakuliah ini mengembangkan pemikiran matematis yang diawali dari pemahaman konsep automata tentang konsep-konsep automata yang meliputi grammar, language dan mesin turing melalui pemecahan masalah matematika berbasis tugas individu maupun kelompok serta presentasi dengan disajikan dalam teori
