Mata kuliah ini membahas mengenai konsep bahasa sesuai dengan Hirarki Chomsky, membentuk mesin otomata DFA, NFA dan ekuivalensinya, bahasa reguler, penyederhanaan tata bahasa bebas konteks, bentuk normal Chomsky dan Greibach, mesin PDA dan mesin Turing.