Ввод грамматики в форме Бэкуса


Основные характеристики понятия
Среда понятия: 
Текст понятия: 

/* Пример грамматики булевых выражений в форме Бэкуса-Наура */

Бул_выр ::= "Конъюнкт | Бул_выр 'V' Конъюнкт".
Конъюнкт ::= "Атом | Конъюнкт '&' Атом ".
Атом ::= " 'f' | 't' | '(' Бул_выр ')' | '~' Атом | Переменная ".
Переменная ::= " 'x_1' | 'x_2' ".

/* Примеры вопросов:
~x_1&x_2 V f - Бул_выр ?
Какова структура ~x_1&x_2 V f ?
*/.

Используемые понятия: 

В данной онтологии отношение использования не установлено

Шаблоны, разработанные в данном понятии: 

В данной онтологии шаблоны не разработаны

у данной онтологии нет версий