public Configuration[] getInitialConfigurations(String input) {
		/** The stack should contain the bottom of stack marker. */
		State init = myAutomaton.getInitialState();
		State[] closure = ClosureTaker.getClosure(init, myAutomaton);
		Configuration[] configs = new Configuration[closure.length];
		for (int k = 0; k < closure.length; k++) {
			CharacterStack stack = new CharacterStack();
			stack.push("Z");
			configs[k] = new PDAConfiguration(closure[k], null, input, input,
					stack, myAcceptance);
		}
		return configs;
	}