Finite Non-Deterministic Automaton