Anderson, James A. Automata Theory with Modern Applications James A. Anderson - New York Cambridge Univeristy Press 2006