Odpowiedź:
Ocena poprawności tego algorytmu powinna polegać na wykazaniu, że:
- jeśli dla każdej danej spełniającej warunek początkowy (n jest liczbą naturalną) w każdorazowym wykonaniu algorytmu obliczenia dochodzą do końca, to wynik spełnia warunek końcowy.
- dla wyszystkich danych spełniających warunek początkowy obliczenia w algorytmie kończą się.
Wyjaśnienie:
przepisane z książki to się nie powinna przywalać B)