For example you have a $F(\cdot)$ which starts off taking some input $a$, which describes some set of objects and their states, and creating a output $F(a)$, which can be renamed $F_1$, that also describes a set of objects and their states, which is then input into $F$, to get $F_2 = F(F_1)$, or $F(F(a))$.
If this is repeated for an extensive period is it guaranteed that that the values of the individual iterations will be loop? For example $F(F_{x+n})=F(F_{x+2n})$ etc and $F(F_{x+m})=F(F_{x+2m})$ where $x$ is the start of the cycle and $m$ and $n$ are the frequency of the cycle.