Implementação de um autômato deterministico finito (DFA).