Slide 1 1 Non-Deterministic Automata Regular Expressions Slide 2 2 NFA Example Slide 3 3 Slide 4 4 Formal Definition of NFAs Set of states, i.e. Input aplhabet, i.e. Transition…