,
:
1. , , , , ()
, ,
:
[ 1 (2......)], (3 ...)
( 2-).
) 1 + 2: , , .
, , , , -,
: P ← P ( : )
,
(.. ) : sm..sm ( )
) 1 + 3: , ,
, , , , , , , - (.. )
: P ← P ( )
s (.. ), .. , m..m, .. ( , . . . .) = sm ..m
2.
,
,
,
, , , -
/
, ( : , , , ), , .. (, )
:
. ..
, , , , (.)
, .
: [1], [2], (3 ...), (4 ...), (5 ...)
) 1 + 2: ,
, , , , , , ,
|
|
: P ←→P ( )
: m..m
) 2 + 3: ,
, , , , ,
: P ←P ( )
s,
) 3+ 4: ,
, , , , ,
: P ←P ( )
s, : m: s.m
) 4 + 5: ,
, , , , , ( )
: P ←P ( )
, : m..m
2.