Java Nondeterministic Finite Automaton - Autómata Finito No Determinista Java