Teori Bahasa, Otomata, dan Komputasi Serta Terapannya - Bambang hariyanto (informatika, 2015)