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

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

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

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

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

Новости

  • 1
  • 2
Prev Next

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

Реклама