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

Вопрос

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

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

Ответ