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

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

Классическая постановка задачи смешанных вычислений связана с рас­смотрением программы как функции, отображающей вектор входных дан­ных в вектор выходных (см. [33]). Если входные данные обозначить как х, выходные — как у, а область значений переменной х обозначить Эх, то можно чя писать

всегда, когда определено. Сравните этот подход с подходом к определению рекурсии в Приложении А!

Заметим, что состояния памяти в данном случае не обязательно тракто­вать просто как значения, хранящиеся в памяти. Они могут включать и наши знания о значениях. Таким образом, в отличие от того, что принято в теории рекурсивных схем, порядок и топология на значениях могут быть нетри­виальны. Мы можем, например, не знать конкретного значения некоторого поля, но иметь информацию о нем, например, что оно положительно.

Пусть у нас есть отношение пополнения между данными <ССС29. На­пример, список данных может быть пополнен до другого списка, если в нем

А вот это математическое определение прочитайте и разберитесь в нем сами! Русский программист обязан хорошо владеть математическим языком, иначе он неконкурентоспособен на мировом рынке, особенно после 30 лет.

В данном определении нет никакой привязки к модели вычислений язы­ка: смешанные вычисления можно определить везде, где определено понятие алгоритма абстрактного вычисления языка. Ссылка на память не означает действий в фон Неймановской модели, сравните наше определение с опи­санием теории рекурсивных схем в § А.6. Задача специализации состоит в том, чтобы реализовать требуемое деление алгоритма на остаточные дан­ные и остаточную программу и предварительное выполнение той его части, которая обусловлена сведениями о перерабатываемых данных.

Пример 3.9.1. Пусть требуется построить программу, вычисляющую функ­цию XX. Хп. Это означает, что программа должна работать для любых зна­чений X и для конкретного фиксированного значения п. Начнем со следу­ющей, более универсальной программы, реализующей функцию XX, п. Хп (для простоты иллюстрации здесь и далее приводится лишь фрагмент про­граммы, касающийся существа дела):

Новости

  • 1
  • 2
Prev Next

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

Летающие &quot;Крокодилы&quot;

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

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

24.01.2016

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

Реклама