Проанализируйте следующий цикл: while a<b do c:=a+b. В чем его особенность?​

Цикл либо будет выполняться бесконечно, либо не выполнится ни разу (мы не знаем значений переменных а и b). Само тело цикла никак не влияет на наше условие, так как переменная c не фигурирует в заголовке цикла.