Пример. Полная и сокращенная линейные формы ССП 0: старт(х) на 1,старт(х), 1: у:= а на 2,у:= а, 2: если р(х) то 5 иначе 3, 3: у:= g(x, y) на 4, 3: у:= g(x, у), 4: х:= h(х) на 2,х:= h(х) на 2, 5: стоп(у).
Пример Старт(x) x =0 y:=1 x:=x-1 Стоп(y) y:=x y Программа (S 1, I 1 ) (S 1, I 1 ) : - I 1 (x) = 4; I 1 (y) = 0; I 1 (a) = 1; - I 1 (g)=G, где G(d 1, d 2 )=d 1 d 2 ; - I 1 (p)=P 1, где P 1 (d)=1, если d=0. - D 1 = Z + ; - I 1 (h)=H, где H(d)=d - 1;
Протокол выполнения программы (S 1, I 1 ) у х Значения Метка U 15 U 14 U 13 U 12 U 11 U 10 U9U9 U8U8 U7U7 U6U6 U5U5 U4U4 U3U3 U2U2 U1U1 U0U0 Конфи- гурация Старт(x) x =0 y:=1 x:=x-1 Стоп(y) y:=x y а) Программа (S 1, I 1 )