Глава 2. Раздел 3. 7. Переменные

2.3.7. ПЕРЕМЕННЫЕ

$ Переменная =

$ s-переменная | t-переменная | e-переменная |

$ v-переменная.

$ s-переменная = "s" [ "." ] ИндексПеременной.

$ t-переменная = "t" [ "." ] ИндексПеременной.

$ v-переменная = "v" [ "." ] ИндексПеременной.

$ e-переменная = "e" [ "." ] ИндексПеременной.

$ УказательТипаПеременной = "s" | "t" | "v" | "e".

$ ИндексПеременной = ХвостИдентификатора.

Переменная состоит из указателя типа переменной, необязательной точки и индекса переменой. Например:

tHead eTail e.1 e1 tX s t e

Различие между прописными и строчными буквами в записи переменных несущественно. Например, eI, e.I, ei и e.i - различные изображения одной и той же переменной.

Если две переменные стоят рядом, они должны быть разделены межой. Например, sAeB является одной переменной, в то время как sA eB - две переменные.

Если индекс переменной отсутствует, это означает, что подразумевается, что эта переменная имеет уникальный индекс и отличается от всех прочих переменных в программе. Таким образом, например, если в программе не используются переменные e1000 и e2000, то запись e e может быть заменена на e1000 e2000.

Переменные делятся на четыре класса: s-переменные, t-переменные, v-переменные и e-переменные, в соответствии с их указателями типа.