Lesley's Digital Garden

nondeterministic finite automaton

Subtopics

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

Graph View

Backlinks