Программа
a:=x; b:=y; c:=0;
while b ≠ 0 do
{}
{}
b:=b-1; c:=c+a
end
{}
Для данной программы определите, что является аргументом и что является результатом.
Произведите прокрутку алгоритма для значений х=7 и у = 13, заполняя таблицу
| Операция | Расчет | Инвариант цикла | Пароль |
| a:=7; b:=13; c:=0 | a=7; b=13; c=0 | b≠0 | |
| b:=b-1; c:=c+a | a=7; b=12; c=7 | b≠0 | |
| b:=b-1; c:=c+a | a=7; b=11; c=14 | b≠0 | |
| b=0 |
Запишите выражение для инварианта цикла
Программа – алгоритм 1
a:=x; b:=y; c:=0;
while b ≠ 0 do
{высказывание: a*b+c=x*y}
{высказывание: b≠0} b:=b-1; c:=c+a