Issue #24: regex2dfa builder