public static AutomatonGraph getAutomatonGraph(int algorithm, Automaton automaton) {
		if (algorithm == TREE_HIERARCHY)
			return new AutomatonDirectedGraph(automaton);
		else
			return new AutomatonGraph(automaton);
	}