Mata kuliah Teori Bahasa dan Otomata membahas fondasi teoritis dalam ilmu komputer yang meliputi studi tentang bahasa formal, grammar, dan mesin abstrak (automata). Ruang lingkup mencakup hierarki Chomsky (Regular, Context Free, Context-Sensitive, Unrestricted), finite automata (DFA/NFA), pushdown automata, Turing machine, serta aplikasi dalam kompilasi, parsing, dan desain bahasa pemrograman. Tujuan mata kuliah adalah mengembangkan kemampuan analitis dalam memodelkan dan menganalisis sistem komputasi, serta memahami batasan komputasi. Mata kuliah ini terkait erat dengan kompleksitas algoritma, teori komputasi, dan rekayasa perangkat lunak, memberikan dasar penting bagi karir dalam pengembangan compiler, artificial intelligence, dan penelitian ilmu komputer