automata_nondeterministic (435B)
1 # Automata nondeterministic (NFA) 2 3 A [one_way_automaton] which is [nondeterministic] 4 5 There are known upper bounds on the size of the smallest [DFA] corresponding to an NFA 6 7 Special case: [automata_nondeterministic_dense] 8 9 Up: [one_way_automaton], [nondeterministic] 10 11 See also: [epsilon_transition] 12 13 Aliases: nondeterministic automaton, nondeterministic automata, NFA, NFAs, automaton nondeterministic, word automaton nondeterministic