Finite Automata with Restricted Nondeterminism and Universality