On the State Minimization of Nondeterministic Finite Automata | IEEE Journals & Magazine | IEEE Xplore