Java Deterministic Finite Automaton - Autómata Finito Determinista Java