Automata Universality Computation