> -- Илья Ермаков писал(а):
> Вообще-то такой вид - x := F(x, ...) - имеет внутренность любого цикла, манипулирующего переменными (x - вектор). В частном случае F не зависит от x, либо зависит только от x.Конечно, при объяснении темы "Расчёт рекуррентных последовательностей" всё проговаривается подробнее, чем я сделал тут. Здесь принято, что человек умеет отображать рекуррентное выражение функции в тело цикла. Тем более, что функция, считаемая циклом, тривиальна - сумма.Не надо добавлять точки внутрь скобок, частный случай без точек - это и есть линейный просмотр. Прочтите внимательно Дейкстру. Там, правда, охрана зависит от x, но это несущественно.
Ещё раз повторяю, что этот пример больше подходит для объяснения индуктивных функций. Книги Кушниренко у меня под рукой нет, но можно посмотреть здесьhttp://www.intuit.ru/department/se/pbmsu/4/4.htmlи здесьhttp://www.intuit.ru/department/se/oip/tasks/6.htmlЗадача 11.36