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

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

II) Функциональная семантика. Далее, программа нам часто нужна как способ получения ответа по входным данным. Соответственно, если нас интересует данный аспект программ, то мы должны интересоваться программой в целом как функцией либо преобразователем состояний, и, в принципе, действия отдельных лексем либо операторов программы нам безразличны.

III) Логическая семантика. Далее, программа решает некоторую задачу. Часто нам совершенно безразлично, какой конкретный результат дает программа, лишь бы для некоторого множества исходных данных она давала бы ответ, удовлетворяющий сформулированным требованиям. Применим идеализацию, что условия на вход и на связь между входом и выходом заданы точно (т. е. описаны на языке логики). Тогда нас инте­ресуют прежде всего свойства входных и выходных данных, исходных и конечных состояний и, соответственно, возможно, также свойства некоторых промежуточных данных либо состояний. Программа в дан­ном случае выступает как преобразователь условий.

Трансляционная семантика. Далее, программа должна быть обрабо­тана нашей вычислительной системой и переведена в исполняемый код. Поэтому нас интересует соотношение между понятиями програм­мы и внутренними понятиями вычислительной системы. Это необхо­димо прежде всего для построения транслятора либо интерпретатора. Соответственно, данный вид семантик подробнее всего разработан, но реже всего применим для программистовпрактиков.

Алгебраическая семантика. И, наконец, нам часто нужно преобра­зовывать программы, и тогда на совокупность программ естественно смотреть как на некоторую обобщенную алгебраическую систему. Со­ответственно, те внутренние понятия программ, для которых критично наличие внутренне непротиворечивой и богатой системы преобразова­ний, тоже описываются на алгебраическом языке.

Новости

  • 1
  • 2
Prev Next

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

Реклама