Compacted Implementations of Deterministic Finite Automata