27) { start, stop,...,:= . .}
28), , : , , ; f(n)(1, 2...n), 1, 2...n - , ; , .. 1,2, ,
29) (n)(1, 2,...,n) (.-)
30) start (1, 2...), k ≥0, 1, 2... - , ,
31) stop (1, 2,...,n), n ≥ 0, 1, 2,...,n - ; ,
32) := , ( ), - ; ,
33) ; , ()
34) loop
35) ( )
36) ( ) , , , ,
37), , ,
38), , , -
39), , , 1 () 0 (), -
40) , , -
41) , , , ,
()
42) , ,
43) V : A = { V, Q, R, q0, #, I } , ,
44) , , , ()
45) , x:= F(n)(y1,y2,yn),
46) , Nat; 0,
|
|
47) , (d1,d2,,dn) ,
48) , (d1,d2,,di,) ,
2.
49)
50) , (pa,pb), ,
51) , t / ,
52) , / ,
53) /
54) 2 :
55)
56) , , ,
57) , , ,
58) , , , - ( ),