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

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

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

Следующие фрагменты текстов считаются комментирующими:

пробелы, знаки табуляции и перехода к следующей строке текста;

последовательности символов, заключенные в /* и */ и не содер­жащие в себе эти пары символов;

последовательности символов, начинающиеся с "//"и заканчива­ющиеся концом строки текста.

Комментирующие фрагменты нужны только для пояснений.

Комментирующие фрагменты могут располагаться практически везде, даже внутри понятий, если это не приводит к двусмысленности.

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

Мы определили семантику как соответствие между синтаксически пра­вильными программами и действиями абстрактного исполнителя. Но оста­ется вопрос, как задавать это соответствие. В параграфе 2.3 ему будет уде­лено внимание специально, а сейчас лишь заметим, что при определении семантического соответствия между текстом программы и действиями вы­числителя, по существу, задается сам вычислитель, т. е. набор его команд и структуры перерабатываемых им данных.

Если семантическое соответствие определено, то задача трансляции язы­ка это построение двух программ:

вычисление функции соответствия: построение по тексту программы (аргументу функции) его образа как последовательности команд аб­страктного вычислителя и

вычисление функции моделирования абстрактного вычислителя ко­мандами и структурами данных конкретного вычислителя.

Взаимодействие этих двух вычислений может определяться поразному, раз­личны также критерии качества (эффективности) их реализации, не всегда

Новости

  • 1
  • 2
Prev Next

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

Реклама