Определение оператора CASE.. Оператор FOR.

⇐ ПредыдущаяСтр 3 из 6Следующая ⇒

13.1. Определение оператора CASE.

Синтаксические правила для оператора CASE представлены ниже

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

<список вариантов>::= <список вариантов>, <вариант> | <вариант>

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

<список констант> ::= <список констант>, <константа> | <константа>

Для оператора CASE, как и для оператора IF может быть определено значение как объединение функций.

Пусть E будет выражение возвращающее значение порядкового типа, и C₁, C₂, C₃ не равные друг другу константы того же типа и S₁, S₂ – операторы. Тогда оператор CASE S:

CASE E OF

C₁, C₂: S₁;

C₃: S₂;

END

имеет значение:

S = {<u, S₁(u)>: E(u) = C₁(u) OR E(u) = C₂(u)} È {<u, S₂(u)>: E(u) = C₃(u) }

Обобщение до большего количества меток и операторов очевидно. Необходимо обратить внимание, что если ни один из вариантов не имеет значение E, функция S не определена.

17.2. Оператор FOR.

Циклическое управление для оператора FOR заключается в прохождении через набор значений порядкового типа и текущее значение из этого набора доступно для вычисления внутри оператора.

Пусть V будет переменная некоторого порядкового типа , а A и Z – выражения того же типа. Оператор FOR

FOR V := A TO Z

выполняет оператор S количество раз, заданное значениями A и Z до того как цикл начнется. Предположим, что значением A является p, а значением Z является q перед выполнением цикла. Когда S выполняется первый раз, значением V является p, второй раз – SUCC(p), SUCC(SUCC(p)) и так далее, пока значение V последовательно не достигнет qв последнем выполнении S. Таким образом, количество выполнений будет q – p + 1 при условии если это значение как минимум 1, если нет, то есть если p > q, S не выполняется вообще. Оператор FOR также может быть записан, чтобы выполнить то же количество итераций но в обратном порядке:

FOR V := Z TO A

Где значения последовательно принимаемые V

q, PRED(q), PRED(PRED(q)), …, p.

V называется контрольной переменной. В конце цикла значение V неопределено.

⇐ Предыдущая 1 234 5 6 Следующая ⇒