Cтраница 1
Нотация Бекуса пригодна для описания языка-объекта, предложения которого являются словами. Слова эти получаются путем соединения в том порядке, в котором они расположены, символов языка объекта и значений составных метасимволов, написанных рядом в правых частях формул Бекуса. [1]
Нотация Бекуса пригодна для описания языка-объекта, предложения которого являются словами. Слова эти получаются путем соединения в том порядке, в котором они расположены, символов языка объекта, и значений составных метасимволов, написанных рядом в правых частях формул Бекуса. [2]
Несмотря на ограниченные возможности нотации Бекуса, она настолько удобна, что ею довольно часто пользуются. [3]
Заметим, что с помощью нотации Бекуса можно описать далеко не каждый формальный язык, даже если предложения такого языка являются словами. Например, если бы в примере 1.6 предложением языка-объекта было не ( четное число), а ( сдвоенное четное число), которое получается путем выписывания рядом двух одинаковых четных чисел, то для конструкции ( сдвоенное четное число) мы нэ сумели бы написать формулу Бекуса. [4]
Заметим, что с помощью нотации Бекуса можно описать далеко не каждый формальный язык, даже если предложения такого языка являются словами. Например, если бы в примере 1.6 предложением языка-объекта было не четное число, а сдвоенное четное число, которое получается путем выписывания рядом двух одинаковых четных чисел, то для конструкции сдвсенное четное число мы не сумели бы написать формулу Бекуса. [5]
В унифицированном языке для характеристики реквизитов используется нотация Бекуса. [6]
Полученная нами совокупность синтаксических правил и составляет нотацию Бекуса, а каждое правило называется формулой Бекуса. [7]
Заметим, что эга запись не представляет собой нормальную нотацию Бекуса, однако она дает наглядное представление о структуре левой части. [8]
В § 1.2 мы уже указывали на то, что нормальная нотация Бекуса в определенном смысле является частным случаем индуктивно порождающего метасинтаксического языка. Отсюда вытекает, что каждый формальный язык, заданный с помощью нормальной нотации Бекуса, может быть порожден с помощью индуктивной грамматики. [9]
Под моделью типа документа следует понимать его описание, выполненное в нотации Бекуса. Выделение типов документов и их моделирование создает условия для решения проблемы первичной документации, не связывая последнюю с унификацией. [10]
В предыдущей главе, при определении понятия формальной грамматики, было использовано понятие операции, а в параграфе, посвященном нотации Бекуса, применялись конкретные операции: операции соединения слов. [11]
Для описания формальных алгоритмических языков программирования, точнее для описания синтаксиса этих языков, в настоящее время широко применяется так называемая нормальная нотация Бекуса. [12]
Условие, которому должно удовлетворять каждое предложение языка-объекта, гласит: не содержит метасимволов и получено как значение одной из строк, стоящей в правой части формулы, левая часть которой содержит метасимвол, обозначающий предложение, В метаязыке формулировку этого условия не приводят, считая, что оно подразумевается всегда, когда применяется нотация Бекуса. [13]
В § 1.2 мы уже указывали на то, что нормальная нотация Бекуса в определенном смысле является частным случаем индуктивно порождающего метасинтаксического языка. Отсюда вытекает, что каждый формальный язык, заданный с помощью нормальной нотации Бекуса, может быть порожден с помощью индуктивной грамматики. [14]
В § 1.2 мы уже указывали на то, что нормальная нотация Бе-куса в определенном смысле является частным случаем индуктивно порождающего метасинтаксического языка. Отсюда вытекает, что каждый формальный язык, заданный с помощью нормальной нотации Бекуса, может быть порожден с помощью индуктивной грамматики. [15]