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.