303304305306307308309310311312313
result.addTransition(state, t.dest, t.min, t.max); } } } result.finishState(); return result; } protected Automaton convertAutomaton(Automaton a) {