TY - BOOK AU - HOPCROFT TI - AUTOMATA THEORY U1 - 5.131 PB - PEA ER -