Deterministic and non-deterministic loops
A deterministic loop is predictable. The number of iterations of
such a loop are known in advance, even before the loop has started.
Most counting loops are deterministic. Before they start, we can
say how many times they will execute.
A non-deterministic loop is not easily predicted. A loop that is
driven by the response of a user is not deterministic, because we
cannot predict the response of the user. Non-deterministic loops
usually are controlled by a boolean and the number of iterations is
not known in advance.