conversion of dfa to regular expression