Nondeterministic finite automata with
states,  namely states which neither accept nor reject, are considered. A cha- racterization of deterministic automata compatible with such a device is obtained. Furthermore, an optimal state bound for the smallest compatible deterministic automata is provided. Finally, it is proved that the problem of minimizing nondeterministic and deterministic
automata is NP-complete.