private void initTransitionListener() {
		minDfa.addTransitionListener(new AutomataTransitionListener() {
			public void automataTransitionChange(AutomataTransitionEvent e) {
				if (!e.isAdd())
					return;
				Transition transition = e.getTransition();
				if (!remainingTransitions.contains(transition)) {
					JOptionPane.showMessageDialog(view,
							"That transition is not correct!");
					minDfa.removeTransition(transition);
				} else {
					remainingTransitions.remove(transition);
				}
			}
		});
	}