В заключение отметим, что возможна
Шаг 2
while expr do statseq od:
Здесь выражения statseq выполняются, пока выполняется логическое условие ехрr. Пример такого цикла:
> n:=1:
n:=1 .
> while n<16 do n:»2*n od;
n:=2
n := 4
n := 8
n :=16
В этом примере идет удвоение числа n с начальным значением n = 1 до тех пор, пока значение n меньше 16.
