Answer
Check the solution for the steps.
Work Step by Step
a) This procedure is not finite, since execution of the while loop continues forever.
b) This procedure is not effective, because the step $m := 1/n$ cannot be performed when $n = 0$, which will eventually be the case.
c) This procedure lacks definiteness, since the value of i is never set.
d) This procedure lacks definiteness, since the statement does not tell whether x is to be set equal to a or to b.
