Deterministic Finite Automaton word acceptance