If two states have the same possible action sequences for up to the next k steps, merge them into the same state.If you cannot distinguish them, they are the same thing.