Buku ini membahas teori dan bahasa automata. Teori Bahasa dan Automata merupakan bagian dari teori komputasi pada ilmu komputer. Beberapa teori komputasi datang dari bahasa dan rekayasa sistem, terutama yang berbasiskan matematika. Ilmu komputer memiliki 2 komponen utama yaitu: pertama, model dan gagasan mendasar mengenai komputasi, Kedua, teknik rekayasa untuk perancangan sistem komputasi, meliputi perangkat keras dan perangkat lunak, khususnya penerapan rancangan dari teori. Teori bahasa dan Automata merupakan bagian pertama.