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

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

Программа 3.9.1

У := 1;

Для дальнейшего удобно считать программу 3.9.1 только генератором операционной истории, полагая, что "факгическое" вычисление производит­ся операторами линейной программы (строки 1, 4, 7, 10 истории, в которой остальные строки отражают вычисления управляющих условий). При этом полагается, что операторы универсальной программы выполняются либо обычным образом, если значения входящих в них переменных определены (заранее фиксированы), либо, в противном случае, выдают в качестве ре­зультатов вычисления самих себя, т. е. выполняются 'литерально'. Иными словами, операторы универсальной программы подразделяются на обычно выполняемые и задержанные. Выполнение последних не обязательно при­водит к тождественной их выдаче в качестве результата: если оператор со­держит терм, значение которого может быть вычислено (входящие в него пе­ременные определены), то терм заменяется изображением своего текущего значения — разгрузка оператора. Последовательно накапливаемые литераль­ные значения операторов образуют некоторый текст, который по окончании вычисления будет называться остаточной программой.

Применение этих интуитивных соображений к приведенной выше исто­рии приводит к следующей частичной истории:

очень близкой к программе (3.1).

Первый оператор программы (3.2) отличается от своего прообраза за­меной герма У на его значение. Следует заметить, что замена его на У:= X возможна, но как результат трансформации программы, природа которой совсем иная, нежели обсуждаемые здесь механизмы преобразований. Эта замена правомерна в силу аксиоматики кольца целых чисел, а не как след­ствие частичного вычисления. Последний оператор является избыточным. Это можно обнаружить вполне регулярным образом, но опять не как след­ствие частичного вычисления. Конец примера 3.9.1.

Новости

  • 1
  • 2
Prev Next

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

Реклама