|
|||
|
|
||
|
'+' |
— символ-литера (character) |
|
Alpha-2 |
— составной символ, имя функции |
||
125 |
— символ-число |
||
|
|||
|
( ... ) | ||
|
|||
|
Символ | ||
|
Выражение в скобках | ||
|
|||
|
Последовательность термов | ||
|
|||
|
|||
|
<Имя функции Выражение> | ||
<Fact 5> |
|
||
|
|||
|
Имя функции { образец = результат ; ... } |
||
|
|||
sX |
— произвольный символ |
||
tY |
— произвольный терм |
||
e1 |
— произвольное выражение |