2.7.1.СИНТАКСИС

$ РезультатноеВыражение =

$ { РезультатныйТерм | ИмяВыражения }.

$ РезультатныйТерм =

$ СтатическийСимвол | Переменная |

$ "(" РезультатноеВыражение ")" |

$ ВызовФункции.

$ ВызовФункции =

$ "<" ИмяФункции АргументВызова ">".

$ АргументВызова =

$ РезультатноеВыражение.

В дальнейшем мы будем обозначать результатные выражения через Re, результатные термы - через Rt, переменные - через V, e-переменные - через Ve, а имена функций - через Fname.