#automata theory

Nondeterministic Finite State Machines NFSM

Nondeterministic finite state machines allow multiple possible next states for an input, including epsilon transitions, but are equivalent to deterministic FSMs via subset construction.