Computation and Automata by Arto Salomaa