If we restrict loops to be of a predictably finite size (like the FOR loop in BASIC), we can express all of the primitive recursive functions (Meyer and Ritchie, 1967).
如果我们限制循环为有可预测的有限大小，我们可以表达所有原始递归函数(Meyer and Ritchie, 1967)。