Рассматриваемая программа представляет собой структуру типа ilthenelse, задаваемую рекурсивным правилом. В then - части этой ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Лингер Р.N. Теория и практика структурного программирования


Рассматриваемая программа представляет собой структуру типа ilthenelse, задаваемую рекурсивным правилом. В then - части этой структуры значение val вычисляется непосредственно. Часть else представляет собой последовательность поиска максимума, необходимость которого определяется правилом, что осуществляется с использованием структуры fordo, после которой следует присваивание val максимального значения. В do - части с помощью конструкции if then рассматриваются лишь допустимые ходы и рекурсивно вызывается соответствующая процедура. С помощью операций initial и free, применяемых к массиву и связанных с вызовом процедуры, осуществляется запоминание и восстановление состояния программы, достигнутого к моменту вызова. Заметим, что в структуре fordo предполагается наличие неявных операций initial и free над переменной т, с помощью которых запоминаются и восстанавливаются варианты ходов. Посредством операций над у initial и free, заключающих в себе основную eise-qac Tfa, запоминается и востанавливается максимум, достигнутый к моменту очередного вызова процедуры.

(cкачать страницу)

Смотреть книгу на libgen

Рассматриваемая программа представляет собой структуру типа ilthenelse, задаваемую рекурсивным правилом. В then - части этой структуры значение val вычисляется непосредственно. Часть else представляет собой последовательность поиска максимума, необходимость которого определяется правилом, что осуществляется с использованием структуры fordo, после которой следует присваивание val максимального значения. В do - части с помощью конструкции if then рассматриваются лишь допустимые ходы и рекурсивно вызывается соответствующая процедура. С помощью операций initial и free, применяемых к массиву и связанных с вызовом процедуры, осуществляется запоминание и восстановление состояния программы, достигнутого к моменту вызова. Заметим, что в структуре fordo предполагается наличие неявных операций initial и free над переменной т, с помощью которых запоминаются и восстанавливаются варианты ходов. Посредством операций над у initial и free, заключающих в себе основную eise-qac Tfa, запоминается и востанавливается максимум, достигнутый к моменту очередного вызова процедуры.