Teori bahasa dan otomata merupakan bagian dari teori komputasi pada ilmu komputer. Beberapa teori komputasi datang dari bahasa dan rekayasa sistem, tapi kebanyakan dari matematika. Di sini penekanannya lebih pada pemecahan masalah. Mahasiswa bisa belajar terutama melalui contoh-contoh ilustrasi masalah yang menunjukkan latar belakang dari suatu konsep, dan hubungannya dengan definisi dan teorem…