public static LambdaTransitionChecker getLambdaChecker(Automaton automaton) {
		if (automaton instanceof automata.fsa.FiniteStateAutomaton)
			return new automata.fsa.FSALambdaTransitionChecker();
		else if (automaton instanceof automata.pda.PushdownAutomaton)
			return new automata.pda.PDALambdaTransitionChecker();
		else if (automaton instanceof automata.turing.TuringMachine)
			return new automata.turing.TMLambdaTransitionChecker();
        else if(automaton instanceof automata.mealy.MealyMachine)
            return new automata.mealy.MealyLambdaTransitionChecker();
		return null;
	}