TY - BOOK AU - "Hopcroft, John E " TI - "Automata Theory, Languages and Computation " U1 - 006.31 H1 CY - London ER -