lev to_dfa cranked out