Functional-Automata.RegSet_of_nat_DA