Теория распараллеливания и синхронизация. Демьянович Ю.К - 16 стр.

UptoLike

for [[квантификатор 1], . . . , [квантификатор M]] {
[оператор 1];
. . .
[оператор N];
}
Каждый квантификатор вводит новую индексную переменную
(параметр цикла), и ниц иали зи рует ее и указывает диапазон ее зна-
чений. Эта переменная локальна в цикле: область ее видимости
тело данного цикла; ее не нужно декларировать.
Примеры.
1). Пример цикла с одним квантификатором:
for [i = 0 to n 1]
a[i] = i;
2). Пример цикла с двумя квантификаторами:
for [i = 0 to n 1, j = 0 to k 1]
w[i, j] = 0;
3). Предыдущий пример эквивалентен вложенному циклу вида:
for [i = 0 to n 1]
for [j = 0 to k 1]
w[i, j] = 0;
4). Пример перечисления с шагом 2:
[i = 1 to n by 2]
5). Если в перечислении для переменной i нужно исключить
значение x, то пишут st! = x (st означает suchthat "такое, что");
например:
[i = 0 to n 1 st i| = x]
17