public Transition copy(State from, State to) {
		String[] s = new String[0];
		return new TMTransition(from, to, (String[]) toRead.toArray(s),
				(String[]) toWrite.toArray(s), (String[]) direction.toArray(s));
	}