public FSAToREController(FiniteStateAutomaton automaton,
			SelectionDrawer drawer, JLabel mainStep, JLabel detailStep,
			JFrame frame) {
		this.automaton = automaton;
		this.drawer = drawer;
		this.mainStep = mainStep;
		this.detailStep = detailStep;
		this.frame = frame;

		nextStep();
	}