Cтраница 2
В 1958 г. на русский язык было переведено описание алгоритмического языка плгол-58, составленное с помощью особых синтаксических правил, получивших название формул Бекуса. Способ описания формального языка с помощью формул Бекуса называется нормальной формой или нотацией Бекуса. [16]
Предположим, что некоторый формальный язык L описан с помощью метаязыка М, имеющего вид нотации Бекуса. Теперь в правой части каждой формулы стоит строка символов, обозначающая результат соединения в одно слово входящих в нее слов языка-объекта и слов, обозначенных составными метасимволами. Si является просто тождественной операцией. [17]
Предположим, что некоторый формальный язык L описан с помощью метаязыка М, имеющего вид нотации Бекуса. Теперь в правой части каждой формулы стоит строка символов, обозначающая результат соединения в одно слово входящих в нее слов языка-объекта и слов, обозначенных составными метасимволами. St является просто тождественной операцией. [18]
Следующий этап автоматизации программирования рассматривается в главе о символическом программировании, в которой чтобы проиллюстрировать приводимые в ней общие положения, описывается относительно простой, но обладающий характерными для таких языков особенностями, автокод для машин БЭСМ-4 и М-220. Затем описываются универсальные языки программирования АЛГОЛ-60 и ФОРТРАН-IV, причем при изложении АЛГОЛа достаточно широко используется нормальная нотация Бекуса, сопровождающаяся подробным комментарием. Это дает возможность читателю приобрести навыки в чтении металингвистических формул и тем самым подготовиться к изучению каких-либо других языков программирования высокого уровня, описываемых с помощью формул Бекуса. [19]
Описанный выше метаязык М, о котором было сказано, что он является кодом метаязыка М, является частным случаем индуктивно-порождающего метаязыка. Имея именно это в виду, будем говорить, что метаязык М ( заданный с помощью нотации Бекуса) является частным случаем индуктивно порождающего метаязыка. [20]
Описанный выше метаязык М, о котором было сказано, что он является кодом метаязыка М, является частным случаем индуктивно-порождающего метаязыка. Имея именно это в виду, будем говорить, что метаязык М ( заданный с помощью нотации Бекуса) является частным случаем индуктивно порождающего метаязыка. [21]
Условие, которому должно удовлетворять каждое предложение языка-объекта, гласит: не содержит метасимволов и получено как значение одной из строк, стоящей в правой части формулы, левая часть которой содержит метасимвол, обозначающий предложение. В метаязыке формулировку этого условия не приводят, считая, что оно подразумевается всегда, когда применяется нотация Бекуса. [22]