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

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

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

Пример 2.1.2.Дадим следующую характеризацию налагаемого (в частно­сти языком С) требования, что каждое имя должно быть описано.

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

Такая совокупность требований достаточна для того, чтобы человек мог проверить по тексту программы, как в данном месте понимается данное имя. Конец примера 2.1.2.

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

Новости

  • 1
  • 2
Prev Next

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

Реклама