Enumeration of nondeterministic automata for a given language: a technique that avoids the universal automaton