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