Beispiel - Ungelöste Terminierungsfrage

Von folgendem Fortran-Unterprogramm ist (noch) nicht bekannt, ob esfür alle i Element N terminiert:

FUNCTION unklar 
(i) RESULT (k)
  INTEGER, INTENT (IN) :: i
  INTEGER              :: k
  k = i  DO
    IF (k <= 1)        EXIT     ! Terminierung
    IF (MOD(k,2) == 1) THEN
      k = 3*k + 1
    ELSE
      k = k/2
    END IF
  END DO
END FUNCTION unklar