2.9.1. СИНТАКСИС
$ ЖесткоеВыражение =
$ { ЖесткийКрай } |
$ { ЖесткийКрай } e-переменная { ЖесткийКрай } |
$ { ЖесткийКрай } v-переменная { ЖесткийКрай }.
$ ЖесткийКрай = { ЖесткийТерм | ИмяВыражения }.
$ ЖесткийТерм =
$ СтатическийСимвол | s-переменная | t-переменная |
$ "(" ЖесткоеВыражение ")".
Таким образом жесткое выражение на каждом уровне скобок содержит не более чем одну e-переменную или v-переменную.Индексы всех переменных, входящих в одно и то же жесткое выражение, должны быть попарно различны.
В дальнейшем мы будем обозначать жесткие выражения через
He, а жесткие термы - через Ht.