Add SystemProgramming Lab2 automaton to regex: handling automata with more than one finish state