Matakuliah ini mengaji tentang definisi tata bahasa, klasifikasi Chomsky, Tata Bahasa Dan Ekspresi Reguler, Finite State Automata, Tata Bahasa Bebas konteks, Push Down Automata dan Mesin Turing

Menguasai pengetahuan mengenai ciri-ciri dari kelas-kelas tata bahasa yang termasuk dalam klasifikasi Chomsky, membuat tata bahasa yang termasuk ke dalam tata bahasa reguler, bebas konteks dan peka konteks, embuat mesin hipotetik untuk memecahkan persoalan-persoalan yang berkaitan dengan deretan symbol(string).

1. Hopcroft, Motwani, Ullman. 2001. Introduction to Automata Theory , Languages, and Computation . Addison-Wesley.
2. James A. Anderson. 2006. Automata Theory with Modern Applications. Cambridge University Press.
3. Martin, C John. 2002. Introduction To Languanges & The Teory Of Computation, third Edition. New York: McGraw-Hill Science/Engineering/Math.