Kursus ini merangkumi teori automata dan bahasa formal yang dapat digunakan dalam pembentukan model dan bahasa pengaturcaraan. Bahasa teratur dan bahasa bebas konteks akan diberi fokus melalui penekanan kepada sifat dan kaitan bahasa tersebut dengan teor(Kursus ini merangkumi teori automata dan bahasa formal yang dapat digunakan dalam pembentukan model dan bahasa pengaturcaraan. Bahasa teratur dan bahasa bebas konteks akan diberi fokus melalui penekanan kepada sifat dan kaitan bahasa tersebut dengan teor)