Teori bahasa membicarakan tentang bahasa formal (formal language), terutama untuk perancangan kompilator (compiler) dan pemroses naskah (text processor). Bahasa formal adalah kumpulan kalimat. Semua kalimat dalam sebuah bahasa dibangkitkan oleh sebuah tata bahasa (grammar).
Otomata (Automata) Adalah mesin abstrak yang dapat mengenali (recognize), menerima( accept) atau membangkitkan (generate) sebuah kalimat dalam bahasa tertentu.
- Teacher: Allwin M. Simarmata