Nondeterministic Finite Automata (NFA)