private String derivationString() {
		StringBuffer sb = new StringBuffer();
		for (int i = 1; i < STACK.size(); i += 2)
			sb.append(STACK.get(i));
		sb.append(STRING.substring(P, STRING.length() - 1));
		return sb.toString();
	}