Teori Bahasa, Otomata dan Komputasi serta Terapannya - HARIYANTO, Bambang (Informatika Bandung, 2004)