Mata kuliah Teori Bahasa dan Automata merupakan matakuliah yang mengjarkan mahasiswa untuk berpikir secara sistematik sebagaimana suatu sistem komputer bekerja. Beberapa hal yang dipelajari dari mata kuliah ini antara lain membahas bagian hubungan automata dan bahasa, Deterministik (DFA), Automata Hingga Non-Deterministik (NFA), properti regular, ekspresi regular, grammar, pumping lemma, relasi ekuivalensi dan automata minimal, Context Free Grammars (CFG), Chomsky Normal Form, algoritma CYK, pumping lemma pada CFG dan terakhir Pushdown Automata (PDA). Pada bagian akhir akan membahas mengenai konsep mesin turing dan kompleksitas komputasi.