Deterministic FInite Automata