Cтраница 3
Условие, которому должно удовлетворять каждое предложение языка-объекта, гласит: не содержит метасимволов и получено как значение одной из строк, стоящей в правой части формулы, левая часть которой содержит метасимвол, обозначающий предложение, В метаязыке формулировку этого условия не приводят, считая, что оно подразумевается всегда, когда применяется нотация Бекуса. [31]
В 1958 г. на русский язык было переведено описание алгоритмического языка плгол-58, составленное с помощью особых синтаксических правил, получивших название формул Бекуса. Способ описания формального языка с помощью формул Бекуса называется нормальной формой или нотацией Бекуса. [32]
Здесь и ниже мы приводим первичные алгоритмы на формальном языке, совпадающем с некоторым подмножеством естественного ( в данном случае русского) языка. Нетрудно доказать, что данный язык формальный, построив для него формулы Бекуса и в качестве его семантики - правило выполнения заданных на нем первичных алгоритмов. [33]
В § 1.2 мы уже указывали на то, что нормальная нотация Бекуса в определенном смысле является частным случаем индуктивно порождающего метасинтаксического языка. Отсюда вытекает, что каждый формальный язык, заданный с помощью нормальной нотации Бекуса, может быть порожден с помощью индуктивной грамматики. [34]
В 1958 г. на русский язык было переведено описание алгоритмического языка плгол-58, составленное с помощью особых синтаксических правил, получивших название формул Бекуса. Способ описания формального языка с помощью формул Бекуса называется нормальной формой или нотацией Бекуса. [35]
В § 1.2 мы уже указывали на то, что нормальная нотация Бе-куса в определенном смысле является частным случаем индуктивно порождающего метасинтаксического языка. Отсюда вытекает, что каждый формальный язык, заданный с помощью нормальной нотации Бекуса, может быть порожден с помощью индуктивной грамматики. [36]
Предположим, что заданы два языка Lj и L2, в отношении которых известно следующее. Язык Lx является языком цепочек в алфавите Е и порождается индуктивной грамматикой, допускающей формулы Бекуса. [37]
Предположим, что заданы два языка LI и L2, в отношении которых известно следующее. Язык LI является языком цепочек в алфавите Е и порождается индуктивной грамматикой, допускающей формулы Бекуса. [38]
Предположим, что некоторый формальный язык L описан с помощью метаязыка М, имеющего вид нотации Бекуса. Теперь в правой части каждой формулы стоит строка символов, обозначающая результат соединения в одно слово входящих в нее слов языка-объекта и слов, обозначенных составными метасимволами. St является просто тождественной операцией. [39]
Предположим, что некоторый формальный язык L описан с помощью метаязыка М, имеющего вид нотации Бекуса. Теперь в правой части каждой формулы стоит строка символов, обозначающая результат соединения в одно слово входящих в нее слов языка-объекта и слов, обозначенных составными метасимволами. Si является просто тождественной операцией. [40]
Описанный выше метаязык М, о котором было сказано, что он является кодом метаязыка М, является частным случаем индуктивно-порождающего метаязыка. Имея именно это в виду, будем говорить, что метаязык М ( заданный с помощью нотации Бекуса) является частным случаем индуктивно порождающего метаязыка. [41]
Условие, которому должно удовлетворять каждое предложение языка-объекта, гласит: не содержит метасимволов и получено как значение одной из строк, стоящей в правой части формулы, левая часть которой содержит метасимвол, обозначающий предложение. В метаязыке формулировку этого условия не приводят, считая, что оно подразумевается всегда, когда применяется нотация Бекуса. [42]
Следующий этап автоматизации программирования рассматривается в главе о символическом программировании, в которой чтобы проиллюстрировать приводимые в ней общие положения, описывается относительно простой, но обладающий характерными для таких языков особенностями, автокод для машин БЭСМ-4 и М-220. Затем описываются универсальные языки программирования АЛГОЛ-60 и ФОРТРАН-IV, причем при изложении АЛГОЛа достаточно широко используется нормальная нотация Бекуса, сопровождающаяся подробным комментарием. Это дает возможность читателю приобрести навыки в чтении металингвистических формул и тем самым подготовиться к изучению каких-либо других языков программирования высокого уровня, описываемых с помощью формул Бекуса. [43]
Нотация Бекуса пригодна для описания языка-объекта, предложения которого являются словами. Слова эти получаются путем соединения в том порядке, в котором они расположены, символов языка объекта и значений составных метасимволов, написанных рядом в правых частях формул Бекуса. [44]
Нотация Бекуса пригодна для описания языка-объекта, предложения которого являются словами. Слова эти получаются путем соединения в том порядке, в котором они расположены, символов языка объекта, и значений составных метасимволов, написанных рядом в правых частях формул Бекуса. [45]