Deterministic Finite State Automata