Generating Minimal Nondeterministic Finite Automata Using a Parallel Algorithm | IEEE Conference Publication | IEEE Xplore