Automata, Universality, Computation