Семантика

var b := <выражение1>;var e := <выражение2>; <переменная> := b; while <переменная> <> e dobegin <оператор> <получить следующее значение переменной>end;<получить следующее значение переменной> ::= <переменная> += 1; | <переменная> -= 1;

Ограничения:

• выражения 1 и 2 должны быть совместимы по присваиванию с переменной
• переменная должна иметь порядковый тип (такой же, как и в case — целый, символьный или перечислимый)
• переменная цикла for не должна меняться внутри цикла for
• переменная цикла for должна быть описана в той же п/п, где используется цикл