Примечание - Строка не должна начинаться и/или заканчиваться ни цифрой,
ни точкой.
точка
= .
другой знак
= & | ( | ) | * | + | - | / | : |
; | , | < | = | > | [ | \ | ] | { | } | .
прописная-курсив
=||| … |.
строчная-курсив
=||| … |.
знак= прописная-буква | строчная-буква | цифра |
прим | точка | прописная-курсив |
строчная-курсив | другой знак.
строка
= знак {знак}.
переменная
= (прописная-курсив {прим}) | (строчная-курсив {прим}).
составной-символ
= прописная-буква {строчная-буква} {прим}.
числовой-символ
= {цифра} [точка] {цифра}.
символ
= переменная | составной-символ | числовой-символ
| другой знак.
выражение
= символ {символ}.
Нетрудно убедиться, что любую строку, являющуюся выражением, можно
разложить на символы единственным способом.
предикат-примитив
= Рr {строчная-буква} {прим}.
прим-переменная-
список
= (прим переменная)|
(прим прим-переменная-список переменная).
атомарное-
= Рr {строчная-буква} прим-переменная список.