Синтаксис логических выражений.

 

Синтаксические правила, рассмотренные в разделе 3.3, не покрывают случай, когда логические выражения могут включать переменные и константы. Эти правила не задают структуру всех возможных допустимых строк, которые могут образовывать логические выражения. Новые правила для логических выражений приведены ниже:

 

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

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

 

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

<терм> ::= <терм> AND <множитель> | <множитель>

<множитель> ::= <переменная> | <константа> | (<выражение>) | NOT <множитель>

 

Синтаксически некорректно записывать:

X <= Y <= Z

Для того, чтобы определить, что Y имеет значение, находящееся между значениями X и Z. Вместо этого требуется записать

(X <= Y) AND (Y <= Z)

чтобы выполнить такую проверку.

 

Скобки в выражениях – часть синтаксиса Паскаля. Попытка построить синтаксическое дерево для первого выражения терпит неудачу:

 

Невозможно вывести строку X <= Y из первого <простого выражения> без введения дополнительных символов в строку (например скобок). Для второго выражения может быть построено корректное синтаксическое дерево:

 

 

Последовательные лево-ассоциативные операторы с одинаковым приоритетом применяются к их операндам в порядке слева-на-право. Таким образом, в выражении

X OR Y OR Z

подвыражение

X OR Y

будет вычислено первым. Синтаксическое дерево для этого выражения будет следующим:

 

 

Операнды для каждого OR в строке могут быть найдены поиском строк, выведенных из соотвествующего <простого выражения> и <терма>. Операндами левого OR являются X и Y, тогда как операндами правого OR являются X OR Y (строка выведенная из первого <простоего выражения>) и Z. Таким образом, левый OR применяется к операндам раньше правого. (Конечно, приоритет операторов в выражении может быть изменен с помощью скобок)

Правило синтаксиса является леворекурсивным, если определяемая величина (то, что размещается слева от ::=) также появляется на первом месте справа от ::=.

Правило для <term> леворекурсивоное:

<терм> ::= <терм> AND <множитель>

Когда оператор определяется с использованием левой рекурсии, он будет левоассоциативным, как показано на синтаксических деревьях приведенных выше.

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

X OR Y AND Z

иллюстрирует приоритет операторов:

 

 

Несмотря на то, что AND расположен правее OR в строке, он применяется к его операндам, Y и Z до того как OR будет применен к своим операндам, X и Y AND Z. Таким образом, AND имеет более высокий приоритет в логических выражениях, чем OR.