Regular Languages: Nondeterministic Finite Automaton (NFA)