A DESL based DFA generator