public BuilderController(FiniteStateAutomaton dfa,
			FiniteStateAutomaton minDfa, SelectionDrawer drawer,
			Minimizer minimizer, DefaultTreeModel tree, Component view) {
		this.dfa = dfa;
		this.minDfa = minDfa;
		this.drawer = drawer;
		this.minimizer = minimizer;
		this.tree = tree;
		this.view = view;

		determineTransitions();
		initTransitionListener();
	}