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

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

§ 2.3. АБСТРАКТНОЕ И КОНКРЕТНОЕ ПРЕДСТАВЛЕНИЯ ПРОГРАММЫ

2.3.1. Абстрактное представление

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

Действия абстрактного вычислителя определяются на структурном пред­ставлении программы.

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

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

Программы, записанные поразному, но очевидным образом эквивалент­ные с точки зрения эффекта вычислений, дают разную конкретную син­таксическую структуру (см. пример).

Новости

  • 1
  • 2
Prev Next

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

Реклама