public State[] getUnreachableStates() {
		ArrayList list = new ArrayList();
		State[] states = myAutomaton.getStates();
		/** Create nodes for DFS. */
		initializeNodes(states);

		Node initialNode = getNodeForState(myAutomaton.getInitialState());
		/** Start DFS at node representing initial state. */
		visit(initialNode);

		/**
		 * DFS has completed. Add all non-visited (white) nodes to list of
		 * unreachable states.
		 */
		for (int k = 0; k < myNodes.length; k++) {
			if (myNodes[k].isWhite()) {
				list.add(myNodes[k].getState());
			}
		}
		return (State[]) list.toArray(new State[0]);
	}