Непейвода Н.Н. Программирование. Раздел 3

Непейвода Н.Н. Программирование. Страница 268

(см. п. 7.3.1). Но этот взгляд непродуктивен: схемы обработки составляют­ся для того, чтобы удобнее записывать, обсуждать, сравнивать алгоритмы и способы их представления в языковых формах. Таким образом, нужно рас­сматривать обработку как потоковую, когда это удобно, и говорить о других схемах, когда потоковое представление не помогает восприятию.

При принудительном завершении конструкции действия становятся нелокальными и уже поэтому не могут адекватно описываться потоковы­ми схемами. Наглядный пример обработки, которая не вписывается в эти схемы, — бинарный поиск (заодно здесь иллюстрируется нелокальность за­вершителя).

Заметим, что переменная responseсовмещает в себе две функции: индек­са нужного элемента, если он найден, и сообщения о неудаче, если тако­го элемента нет. Такое совмещение часто целесообразно: особые значения результата служат естественным сигналом об исключительной ситуации, break; выводит нас за пределы двух операторов сразу, поскольку исполня­ется внутри условного оператора, а заканчивает минимальный объемлющий цикл. Далее, поскольку мы ищем хотя бы одно решение, у нас в программе практически вычисляется квантор существования, т. е. дизъюнкция целого множества элементов. Поэтому в качестве начального значения ответа берет­ся — 1, логически соответствующая единице дизъюнкции: лжи, отсутствию решения.

Выделенный наклонным шрифтом цикл не связан с какимлибо пото­ком, но, тем не менее, он выполняется определенное число раз тогда, когда значения переменных а, х, imiи imaудовлетворяют условиям, заданным в заголовке цикла и во внутренних условных операторах.

На рассмотренном примере мы выделяем важное неформальное понятие.

Фрагмент программы выполняется в некоторой обстановке,

Новости

  • 1
  • 2
Prev Next

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

24.01.2016

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

Роскосмос не планирует в течение ближайшего десятилетия осуществлять пуск тяжёлой ракеты-носителя А...

Ученые РФ опровергли выводы исследований о вреде ГМО

24.01.2016

Ученые РФ опровергли выводы исследований о вреде ГМО

Исследователи из Института проблем передачи информации (ИППИ РАН) проанализировали несколько самых п...

Летающие "Крокодилы"

24.01.2016

Летающие "Крокодилы"

20 удивительных фактов о боевом вертолете Ми-24.Этот вертолет стал таким же узнаваемым символом сове...

В Аргентине описали новый вид динозавра-гиганта

24.01.2016

О ранее неизвестном виде динозавра, относящемуся к инфраотряду зауроподов, рассказали аргентинские п...

Реклама