Buku ini adalah buku ajar mata kuliah Teori Bahasa dan Otomata pada jurusan Teknik Informatika yang disusun dengan tujuan supaya mahasiswa mempunyai panduan mendapatkan gambaran yang jelas mengenai sasaran dan tujuan, materi, dan contoh soal latihan tentang teori bahasa formal dan mesin pengenal bahasa.
Pada buku ini dipenuhi dengan banyaknya ilustrasi dan contoh-contoh permasalahan. Semoga contoh-contoh yang sebisa mungkin memunculkan tipe kasus yang berbeda, dapat mempercepat pemahaman dan memungkinkan pembaca untuk menarik kesimpulan. Diharapkan pembaca bisa segera mengenali pola permasalahan yang ada dan tahapan-tahapan pencarian solusinya. Perbedaan kasus yang ada ditujukan untuk membuat pembaca mampu memilih dan memilah strategi penyelesaian yang tepat, seperti hal apa yang harus dilakukan dan mana yang boleh dilakukan.