construction of Deterministic Finite Automata with a