Subtopics remove epsilon transitions from NFAs Formalism An NFA has the same formal structure as DFA except that where is the power set and is the empty string. Info Some sources define NFA to include -transition by default, while others call this version “-NFA” and define NFA to disallow -transitions by default Related deterministic finite automata equivalence of DFAs, NFAs, and regular expressions