DFA to RE conversion

Implements DFA to RE conversion.