Nondeterministic Finite Automaton (NFA): A type of automaton ... which can affect the computational properties of automata. ÄŒerný's Conjecture: A conjecture in automata theory that suggests ...