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