Cтраница 4
НФБ-грамматика, впервые описанная в статье Бэкуса [1960], была разработана специально с этой целью. [46]
Описание языка структурировано по уровням; при необходимости разъясняется семантика тех или иных конструкций. Для записи синтаксических правил используется расширенная нотация Бэкуса - Наура. [47]
Для определения понятий алгола могут быть использованы так называемые металингвистические формулы. Такой способ определения был разработан английским математиком Бэкусом. В данном разделе содержатся определения по этому способу всех понятий алгола, предложенных в книге. Как читать эти определения и как определять новые, может быть, не имеющие отношения к алголу понятия, пользуясь металингвистическими формулами, приведенными в конце приложения, мы выясним, разобрав некоторые определения. [48]
Синтаксические правила алгоритмического языка программирования описываются с помощью специального языка, называемого металингвистическим, или метаязыком. Для описания синтаксиса ПЛ / 1 используется несколько измененный вариант метаязыка Бэкуса - Наура, предложенного для описания Алгола. [49]
В книге описываются также языки высокого уровня, допускающие использование в Дисковой Операционной Системе, наиболее широко распространенной на младших моделях ЕС ЭВМ. Изложение этих языков ведется в сравнении их с языком АЛГОЛ-60 с помощью Нормальной формы Бэкуса. Описывается методика отладки программ с помощью диагностических сообщений трансляторов, генерируемых системой как на этапе трансляции программ, так и на этапе их выполнения. [50]
Как знать, может быть картина современного программирования оказалась бы иной, если бы безвестный учитель математики не попросил Бэкуса помочь ему провести расчеты радиоусилителя. [51]
В настоящей главе будет рассмотрено некоторое расширение Атланта, базирующееся на результатах его реализации и последних работах по типам данных. Для каждого из встроенных ( стандартных) типов данных будут приводиться формальная его спецификация и синтаксис в виде известных форм Бэкуса - Наура ( см. разд. [52]