public static NondeterminismDetector getDetector(Automaton automaton) {
		if (automaton instanceof automata.fsa.FiniteStateAutomaton)
			return new FSANondeterminismDetector();
		else if (automaton instanceof automata.pda.PushdownAutomaton)
			return new PDANondeterminismDetector();
		else if (automaton instanceof automata.turing.TuringMachine)
			return new TMNondeterminismDetector();
        else if(automaton instanceof automata.mealy.MealyMachine)
            return new automata.mealy.MealyNondeterminismDetector();
		return null;
	}