Non-Deterministic Finite Automaton

A Finite State Automata that is Stochastic.

• There are states that can lead to multiple paths with the same transition
• You can have $ϵ$ transitions A machine accepts the input, if there is atleast one path that leads to an Accepting State

Example

• NFSA Example