regex2dfa pipeline