Computation and Automata