Pada  kuliah  ini,  akan  dijelaskan  Teori  Bahasa  dan  Automata  beserta  penerapannya. Automata  merupakan  hal  mendasar  dalam  kajian  mengenai  batas-batas  komputasi,  apa yang dapat dikerjakan sepenuhnya oleh komputer dan apa yang dapat dikerjakan secara efesien  oleh  komputer. Sistem matematika formal, automata hingga, ekspresi reguler dan bahasa, sifat-sifat bahasa reguler, tata bahasa dan bahasa bebas konteks, pushdown automata, sifat bahasa bebas konteks, pengenalan mesin turing, undecidability, problema yang intractable, kelas tambahan dalam problema.