Chapter 5.5, Problem 4TY

To determine

(a)

To fill:

The pre-condition for the loop implies that _____ before the first iteration of the loop.

To determine

(b)

To fill:

For all integers k = 0, if the guard G and the predicate I ( k ) are both true before an iteration of the loop, then _____.

To determine

(c)

To fill:

After a finite number of iterations of the loop, _____.

To determine

(d)

To fill:

If N is the least number of iterations after which G is false and I ( N ) is true, then the values of the algorithm variables will be as specified _____.