Какие из следующих трех последовательностей операторов являются синтаксически правильными структурированными программами?

P1: x := y+1; z:= 1; если x < z то y := z иначе y:=x конец

P2: x := y+1; z:= x +1; если x < z то y := z иначе y:=x конец

P3: x := y+1; z:= x +1; пока u < z делай y := z; u := u+1 все

Какие из следующих трех последовательностей операторов являются синтаксически правильными структурированными программами?

P1: x := y+1; z:= x + 1; если x +1 < z то y := z иначе y:=x конец

P2: x := y+1; z:= x +1; если x = z то y := z иначе y:=x конец

P3: x := y+1; u:= z +1; пока u = z +1 делай y := z; u := u+1 все

Какие из следующих трех последовательностей операторов являются синтаксически правильными структурированными программами?

P1: x := y+1; z:= x + 1; если x < z то y := z иначе y:=x конец

P2: x := y+1; v:= x +1; если x = z то y := v все

P3: x := y+1; u:= z +1; пока u < z +1 делай y := z; u := u+1 все

Согласно тезису Тьюринга-Черча язык структурированных программ является универсальным – для любой вычислимой функции в нем имеется вычисляющая ее программа. Всякий язык программирования, в котором выразимы все операторы языка структурированных программ, также является универсальным. Некоторые из операторов языка структурированных программ оказываются "лишними" - они выразимы через остальные, т.е. язык сохраняет универсальность и при их удалении.Определите, какие из следующих видов операторов (по отдельности) можно выразить через остальные операторы языка.

(a) если x < y то P1 иначе P2 конец,

(b) если x = y то P1 иначе P2 конец.,

(c) x := 0.

Пусть структурированная программа

P:  x:= y+1;  v:= u+1;  пока  x < v  делай  если  y <  x то                         y := y+1; u := u+1                  иначе  x := x +1  конец все

начинает работу в состоянии σ : σ(x) =0, σ(y) =2, σ(u) = 5, σ(v) =0В каком из следующих состояний σ1 она завершит свою работу?

Пусть структурированная программа

P:  x:= y+1;  v:= u+1;  пока  x < v  делай   если  y <  x то                       y := y+1                иначе  x := x +1; u := u+1   конец все

начинает работу в состоянии σ : σ(x) = 2, σ(y) =3, σ(u) = 5, σ(v) =0В каком из следующих состояний σ1она завершит свою работу?

Пусть структурированная программа

P:  x:= y+1;  v:= u+1;  y := z+1; пока  x < v  делай   если  x < y   то                           x := y+1                    иначе  y := x +1   конец все

начинает работу в состоянии σ : σ(x) =0, σ(y) =2, σ(z) =2, σ(u) = 5, σ(v) =0В каком из следующих состояний σ1 она завершит свою работу?

Пусть структурированная программа

P:  x:= z +1; y := u+1;  v := y+1;  если  x < v  то      если  x = y   то                         z := y+1                    иначе  z := x       конец                 иначе  z :=x +1 конец

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

Пусть структурированная программа

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 она завершит свою работу?

Пусть структурированная программа

x:= y+1;  v:= u+1;  y := z+1; если  x < v  то      если  x = y   то                           y := y+1                    иначе  y := x       конец                 иначе  y :=x +1 конец

начинает работу в состоянии σ : σ(x) =0, σ(y) =5, σ(z) =5, σ(u) = 6, σ(v) =2В каком из следующих состояний σ1 она завершит свою работу?

Пусть машина Тьюринга M построена из простых машин Тьюринга Коп_a , Зам(a, b), Сум, Умн и Пуст, описанных в задаче 4, и машин

Выб_in – выбирает i-ый аргумент из n аргументов: x₁*…*x_i*…*x_n ⇐ x_i ,

Больше_ij - выдает 0, если в аргументе вида |^x1 *…*|^xi *…*|^xj *…*|^xn i-ый аргумент xi больше j-ого аргумента xj , иначе выдает 1,

с помощью операций последовательного и параллельного применения и конструкции условного оператора следующим образом:

M =  Коп# ; par#( par* (Коп*, Пуст ); Зам(*, |), Пуст );if  Больше21  then par#(  Пуст, Сум  ) else  par#(  Пуст, Умн ) endif;Зам(#, *); Выб33.

Какие результаты она получит на входных данных вида |^x1 * |^x2при x₁ = 2, x₂ = 7 и при x₁ = 3, x₂ = 5, соответственно?