Teori Bahasa dan Otomata - John E. Hopcroft (andi, 2007)