private ArrayList getStatesConnectedToState(State state, Automaton automaton) {
		ArrayList list = new ArrayList();
		State[] states = automaton.getStates();
		for (int k = 0; k < states.length; k++) {
			if (areDirectlyConnected(state, states[k], automaton)) {
				list.add(states[k]);
			}
		}
		return list;
	}