valid number use dfa