/* В этой онтологии вводятся примеры грамматик в форме Бэкуса-Наура */
/* Грамматика натуральных чисел, целых чисел, вещественных чисел, арифметических выражений */.
Нат_число ::= " Не_0_цифра | Не_0_цифра Послед_Цифр ".
Не_0_цифра ::= " '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9' ".
Цифра ::= " '0' | Не_0_цифра ".
Послед_Цифр ::= " Цифра | Цифра Послед_Цифр ".
Целое_число ::= " '0' | Нат_число | '-' Нат_число".
Вещ_число ::= " Неотриц_вещ_число | '-' Неотриц_вещ_число ".
Неотриц_вещ_число ::= " '0' '.' Послед_Цифр | Нат_число '.' Послед_Цифр ".
Арифм_выр ::= " Вещ_число | Арифм_выр Знак1 Слагаемое ".
Знак1 ::= " '+' | '-' ".
Слагаемое ::= " Неотриц_вещ_число | Переменная | '(' Арифм_выр ')' ".
/* Примеры вопросов */.
/*
12 - Нат_число?
1 2 - Нат_число?
-0 - Целое_число?
-1 2 - Целое_число?
-0 . 3 - Вещ_число?
0 - Вещ_число?
0. 0 - Вещ_число?
- 1 .0 - Арифм_выр?
- 1. 0 + 2. 0 + 3. 2 3 - Арифм_выр?
*/.