Determinación del estado: un algoritmo iterativo