Пусть структурированная программа P: x:= y+1; y - Ответ на вопрос по любому предмету №1171031

Вопрос

Пусть структурированная программа P: x:= y+1; y := u+1; v := z+1; если x < v то если x = y то z := y+1 иначе z := x конец иначе z :=x +1 конецначинает работу в состоянии σ : σ(x) =0, σ(y) =3, σ(z) =5, σ(u) = 4, σ(v) =2В каком из следующих состояний σ1 она завершит свою работу?

• σ1(x) = 4, σ1(y) = 5, σ1(z) = 4, σ(u) = 4, σ(v) = 5
• σ1(x) = 4, σ1(y) = 5, σ1(z) = 4, σ(u) = 4, σ(v) =6
• σ1(x) = 4, σ1(y) = 5, σ1(z) = 5, σ(u) = 4, σ(v) =6
• ни в одном из вышеуказанных
• σ1(x) = 4, σ1(y) = 5, σ1(z) = 6, σ(u) = 4, σ(v) =6

Ответ