Non Deterministic Finite Automata Examples