Композиция команд
Композиция команд
Последовательное соединение – это один из способов составления больших командных сегментов из меньших.
S1 – команда; S2 – команда
S1 ; S2 – новая команда.
wp(“S1 ; S2 ”,R)=wp(S1 ,wp( S2,R))
Пример:
wp(“skip;skip”,R)= wp(“skip”,wp(“skip”,R))= wp(“skip”,R)=R
wp(“S1 ; (S2 ; S3)”,R)= wp(“(S1 ; S2 ); S3”,R)
Пример1:
Рекомендуемые материалы
wp(“i:=i+1; j:=i-1”, i*j=0) = wp(“i:=i+1”,wp(“j:=i-1”, i*j=0)) =
wp(“i:=i+1”,i*(i-1)=0)=((i+1)(i+1-1)=0)=((i+1)*i=0)=(i=0,i =-1);
Пример2:
Если Вам понравилась эта лекция, то понравится и эта - Грибы.
wp(“i:=i+1; j:=j-1”, i*j=0) = wp(“i:=i+1”,wp(“j:=j-1”, i*j=0)) =
wp(“i:= i+1”, i *(j-1)=0) = ((i+1)(j-1)=0) = ( i=-1, j=1);
Пример3:
wp(“x:=2+y; y:=x*y”, y+x=0) = wp(“x:=2+y”,wp(“y:=x*y”, y+x=0)) =
wp(“x:=2+y”,x*y+x=0) = ((2+y)*y+2+y)=0) = (y=-1, y=-2);