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