Спор какой-то странный, надо усугубить
Вот, если взять "кошерный" линейный поиск: WHILE ~E(i) & ~F(i) DO ... END
E и F - это лог.выражения, первое определяет условие завершения по причине исчерпания возможных итераций,
а второе - условие достижения цели. Параметр i - это номер итерации.
По окончании цикла имеем постусловие: E OR F и при этом E=~F
(на всякий случай сразу скажу - считаем, что за пределами допустимых i F(i)=FALSE )
А обсуждаемый Кащеевский цикл - он из таких: WHILE ~E(i) & ~F(i-1) DO ... END
По окончании которого, кстати, уже не будет выполняться F=~E. (Надо просто иметь это ввиду.)
Вполне довольно распространённая ситуация. Не зря же Пётр озаботился приведением этого цикла к "кошерному" линейному поиску. Если я, конечно, в адеквате
Здесь естественно в условии WHILE вместо F(i-1) использовать переменную, вычисляемую на предыдущей итерации. Та же самая 'игла' , например.