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