Cтраница 1
Нормальная форма Бэкуса-Наура, дополненная новыми удобными средствами: нетерминальные символы записываются малыми буквами, терминальные символы выделяются большими буквами или полужирным шрифтом, введены фигурные и квадратные скобки и многоточие. [1]
Такое формализованное описание удобно выполнить с помощью формул Бэкуса-Наура. [2]
Синтаксис языка описывается с помощью модифицированных - форм Бэкуса-Наура. [3]
Символ квадратной скобки в действительности используется в запросах и поэтому не служит для обозначения одной из возможных альтернатив, как в некоторых других версиях обозначений Бэкуса-Наура. [4]
Основными синтаксическими единицами логики предикатов являются константы, переменные, функции, предикаты, кванторы и логические операторы. Формальный синтаксис исчисления предикатов первого порядка удобно представить в нормальной форме Бэкуса-Наура, которая традиционно применяется для записи грамматик языков программирования. [5]
Этот транслятор использует упомянутые выше лексический и синтаксический анализаторы на основе разработанного исходного конечного автомата, который соответствует грамматике Бэкуса-Наура. Итак, конечный детерминированный автомат с магазинной памятью, соответствующий грамматике проблемно-ориентированного языка общения пользователя с ЭВМ на определенном этапе диалога, следует рассматривать в качестве самостоятельной части этого этапа, которая управляет процессом разбора и выполнения сформированного запроса пользователя с помощью универсальных блоков лексического и синтаксического анализов. [6]
Они называются соответственно отрицанием, дизъюнкцией, конъюнкцией, импликацией, эквивалентностью и условием. Если выражение ( atf) обозначает некоторый класс атомарных формул, то класс формул исчисления высказываний может быть описан нотацией Бэкуса-Наура ( В. [7]