<Операторные скобки>::= Begin<Составной оператор> End
<Функция типа Тип > — функция, возвращающая величину типа Тип.
<Допустимое имя переменной> — допустимой переменной являются все переменные, описанные в данной функции или в данном процедурном блоке, глобальные переменные данного компонента. Для возвращения значения функции, в левой части оператора присваивания должно стоять имя функции.
Синтаксические конструкции описания выражений:
<Выражение>::= { <Выражение типа Long> | <Выражение типа Real> | <Выражение типа Integer> | <Выражение типа Color> | <Выражение типа Logic> | <Выражение типа String>|<Выражение типа Pointer>}
<Целочисленное выражение>::= { <Выражение типа Long> | <Выражение типа Integer>}
<Выражение типа Тип>::= [<Префиксная операция типа Тип>] <Операнд типа Тип> [<Операция типа Тип> <Операнд типа Тип>]
<Операция типа Long>::= {+| —| *|Div| Mod| And| Or| Xor}
<Операция типа Real>::= {+| —| *|/| RMod }
<Операция типа Integer>::= {+| —| *|Div| Mod| And| Or| Xor}
<Операция типа Color>::= {COr| CAnd| CXor}
<Операция типа Logic>::= {And| Or| Xor}
<Операция типа String>::= +
<Префиксная операция типа Long>::= { —| Not }
<Префиксная операция типа Real>::= —
<Префиксная операция типа Integer>::= { —| Not }
<Префиксная операция типа Color>::= CNot
<Префиксная операция типа Logic>::= Not
<Операнд типа Logic>::=::= {<Результат сравнения> | <Выражение типа Logic> | ( <Выражение типа Logic>) | <Константа типа Logic> | <Переменная типа Logic> | <Аргумент типа Logic> | <Вызов функции типа Logic>}
<Результат сравнения типов Long, Integer, Real>::= ( <Выражение типаLong, Integer, Real> {> | < | >= | <= | = | <>} <Выражение типаLong, Integer, Real> )
<Результат сравнения типаColor>::= ( <Выражение типа Color> {CEqual | CIn | CInclude | CExclude | CIntersect} <Выражение типа Color> )
<Результат сравнения типа String>::= ( <Выражение типаString> {= | <>} <Выражение типаString> )
<Операнд типа Тип>::= {<Выражение типа Тип> | ( <Выражение типа Тип>) | <Константа типа Тип> | <Переменная типа Тип> | <Аргумент типа Тип> | <Вызов функции типа Тип>}
<Вызов функции типа Тип>::= <Имя функции типа Тип> [( <Список фактических аргументов>)]
<Список фактических аргументов>::= <Выражение> [,<Список фактических аргументов>]
<Константное выражение типа Тип> — <Выражение типа Тип> в операндах которого не могут фигурировать переменные и функции, описанные пользователем.
<Числовое выражение>::= { <Выражение типа Long> | <Выражение типа Real> | <Выражение типа Integer>}
Синтаксические конструкции задания значений статическим переменным