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

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

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

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

Можно занять и другую точку зрения: считать, что конкретные вычисле­ния программы моделируют абстрактные. Эта точка зрения больше подхо­дит для тех, кто занимается реализацией языка, нежели для программистов, поскольку именно им приходится решать задачу трансляции.

Для программиста предпочтительнее первая точка зрения, поскольку он, составляя программу, думает о ней как об абстрактной сущности и совсем не хочет знать о регистрах, процессоре и других объектах конкретного обо­рудования.

В соответствии с позицией программиста моделью вычислений языка программирования более естественно считать то, какой абстрактный вы­числитель задается описанием языка, а не то, что получается в результате конкретной трансляции. Эта позиция обосновывается следующими особен­ностями оперирования с программами:

образ мышления программиста при составлении программы характе­ризуется как абстрагирование;

трансляция может осуществляться на разных конкретных вычислите­лях;

исследование общих свойств программ математическими методами возможно только при отвлечении от особенностей конкретных вычис­лителей.

Следуя этой точке зрения, мы, говоря о модели программы, всегда имеем в виду ее образ в виде команд абстрактного, а не конкретного вычислителя.

Новости

  • 1
  • 2
Prev Next

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

Реклама