La ejecución de este algoritmo termina si y sólo si la expresión lambda tiene forma normal.