Added regexTdfa