Alternativamente, el nuevo estado puede derivar del estado actual por un "mutador" proporcionado por el usuario; en este caso, el nuevo estado se conoce como "vecino" del estado actual.