protected AutomatonSimulator getSimulator(Automaton automaton) {
		if (automaton instanceof automata.fsa.FiniteStateAutomaton)
			return new automata.fsa.FSAStepByStateSimulator(automaton);
		else
			return new automata.pda.PDAStepByStateSimulator(automaton);
	}