Split file RegexAutomata.cpp.