@Override
	public boolean equals(Object o) {
		LightRabin tmpLIFRTA = (LightRabin) o;
		return tmpLIFRTA.states.equals(states) && tmpLIFRTA.initialState.equals(initialState) && tmpLIFRTA.liveStates.equals(liveStates);
	}