Правила синтаксиса и Значение.

Синтаксические правила для выражений с операциями над множествами приведены ниже.

<выражение> ::= <простое выражение>

| <простое выражение> <оператор сравнения> <простое выражение>

<простое выражение> ::= <простое выражение> <аддитивный оператор > <терм>

| <терм> | <знак> <терм>

<терм> ::= <терм> <мультипликативный оператор> <множитель> | <множитель>

<множитель> ::= <идентификатор> | <вызов функции>

|<беззнаковая константа> | (<выражение>)

| NOT <множитель> | <выражение множества>

<оператор сравнения> ::= = | <> | < | <= | > | >= | IN

<знак> ::= + | –

<аддитивный оператор> ::= + | – | OR

<мультипликативный оператор> ::= * | DIV | MOD | AND

<выражение множества> ::= [<описатели элементов>]

<описатели элементов> ::= <описатели элементов>, <описатель элементов> |

<описатель элементов> ::= <выражение> | выражение .. выражение

Значение каждой операции между операндами-множествами и операндом-элементом может быть представлено в терминах обычных математических операторов

E1 = E2 (s) = (E1 (s) = E2 (s))

E1 <> E2 (s) = (E1 (s) ¹ E2 (s))

E1 <= E2 (s) = (E1 (s) Í E2 (s))

E1 >= E2 (s) = (E1 (s) Ê E2 (s))

Me IN E2 (s) = (E1 (s) Î E2 (s))

E1 + E2 (s) = (E1 (s) È E2 (s))

E1 – E2 (s) = (E1 (s) – E2 (s))

E1 * E2 (s) = (E1 (s) Ç E2 (s))

[Me] (s) = {Me (s)}

(E) (s) = E (s)

для любого состояния s. Для более сложных выражений порядок выполнения операций задается правилами синтаксиса, ассоциативности и предшествования.