Matakuliah Bahasa dan Otomata membicarakan teori otomata dan bahasa. Teori otomata berurusan dengan definisi-definisi dan sifat-sifat model-model matematika untuk komputasi. Model-model ini memainkan sebuah perannya di beberapa area terapan ilmu komputer. Model pertama disebut "finite automaton" digunakan dalam pemrosesan teks, compiler, dan rancangan hardware. Model yang lain disebut "context-free grammar" digunakan dalam bahasa-bahasa pemrograman dan AI (artificial intelligent).

Topik-topik bahasan meliputi bahasa reguler, grammar, DFA (deterministic finite automata) atau disingkat FA (finite automata), NFA (nondeterministic finite automata),  ekuivalensi antara DFA dan NFA, Ekspresi-ekspresi reguler. Bahasa "context-free", CFG, PDA (push down automata), DCFL (deterministic context-free language), DCF grammar (DCFG), hubungan antara DPDA dengan DCFC.