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 teorema yang ada. Latihan-latihan yang ada pada setiap bab akan mempercepat proses belajar. Latihan yang ada disusun dengan tingkat kesulitan berbeda. Beberapa latihan cukup sederhana, ada yang cukup sulit dan menantang pemikiran lebih mendalam.