Что можно сказать об условии, указанном в заголовке цикла "пока",после полного завершения цикла?

Рассмотрим следующий фрагмент программы:

    цел m, n;    цел a, b, p;    . . .    a := m; b := n;    p := 0;    цикл пока b != 0    | если b четное    | | то    | |     b := b / 2;    | |     a := a * 2;    | | иначе    | |     b := b - 1;    | |     p := p + a;    | конец если    конец цикла    ответ := p;

Какое условие является инвариантом цикла?

Сколько раз будет выполнено тело цикла в приведеннойниже программе? Многоточием обозначен фрагмент,не содержащий переменной x.

x := 0;цикл пока x <= 100| . . .| x := x + 2;конец цикла

Сколько раз будет выполнено тело цикла в приведеннойниже программе? Многоточием обозначен фрагмент,не содержащий переменной x.

x := 100;цикл пока x >= 0| . . .| x := x - 1;конец цикла

Завершится ли когда-нибудь выполнение цикла в приведенном ниже фрагменте программы (!= - означает "не равно")?

x := 1;цикл пока x != 56| x := x * 11;| если x <= 253| | то x := x - 253;| конец есликонец цикла

Сколько раз будет выполнено тело цикла в приведеннойниже программе? Многоточием обозначен фрагмент,не содержащий переменной x.

x := 0;цикл пока x < 1000| . . .| x := x + 1;конец цикла

Пусть даны очередь и стек.Рассмотрим фрагмент программы на псевдокоде:

    сделать стек пустым;    цикл пока очередь непуста    | x := взять элемент из начала очереди;    | добавить (вход: x) в стек;    конец цикла    цикл пока стек непуст    | x := взять элемент из стека;    | добавить (вход: x) в конец очереди;    конец цикла

Что произойдет с очередью в результатеего выполнения?

В каком случае выполняется тело цикла "пока"?

Рассмотрим следующий фрагмент программы:

утверждение: A(x)цикл пока B(x)| инвариант: A(x)| x := T(x)конец цикла

Здесь через A(x) и B(x)обозначены условия, зависящие от переменной x.Какое условие выполняется по окончании цикла?

Рассмотрим следующий фрагмент программы:

    цел m, n;    . . .    дано: m >= 0 и n >= 0    цел a, b, c;    a := m; b := n;    c := 1;    цикл пока a != 0 и b != 0    | если a четное и b четное    | | то  a := a / 2;    | |     b := b / 2;    | |     c := c * 2;    | иначе если a четное    | | то  a := a / 2;    | иначе если b четное    | | то  b := b / 2;    | иначе    | | если a > b    | | | то    a := a - b;    | | | иначе b := b - a;    | | конец если    | конец если    конец цикла    ответ := c * (a + b);

Какое условие является инвариантом цикла?(Через НОД и НОК обозначены наибольший общий делитель инаименьшее общее кратное.)

Выполняется ли инвариант цикла в процессе выполнениятела цикла?