lev to_dfa updated