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