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. Di antara penerapannya adalah perangkat lunak yang digunakan untuk merancang dan memantau perilaku rangkaian digital, lexical analyzer, perangkat lunak untuk memindai dokumen teks, dan perangkat lunak yang digunakan untuk memeriksa sistem-sistem dengan stata berbeda yang berhingga jumlahnya.
