Non-Deterministic Finite Automata (NFA)