public FSAConvertController(ConvertPane pane, SelectionDrawer drawer,
			FiniteStateAutomaton automaton) {
		super(pane, drawer, automaton);
		converter = new FSAToRegularGrammarConverter();
		converter.initializeConverter(automaton);
		fillMap();
		// Sets the labels.
		State[] states = automaton.getStates();
		for (int i = 0; i < states.length; i++)
			states[i].setLabel(converter.variableForState(states[i]));
	}