Describir: Automata, Universality, Computation :