protected int emptyNeeded() {
		State[] states = automaton.getStates();
		int needed = 0;
		for (int i = 0; i < states.length; i++)
			for (int j = 0; j < states.length; j++)
				if (automaton.getTransitionsFromStateToState(states[i],
						states[j]).length == 0)
					needed++;
		return needed;
	}