User blog comment:Ynought/xUG function/@comment-35470197-20181121021324/@comment-36957202-20181121134713

>I guess that you forgot to write the definition of the value of your function. Is that the number of maximal steps? Does it exist?

yes its the maximum number of steps

>Otherwise, how do you determine whether a given recursive strategy yields an infinite loop or not?

Lets call a given set of instrucions \(A\) with more than one instruction.If you can iterate the instruction repeatedly(infinite times)(most times a shift is needed)then the loop isnt allowed