1.1 . . , - . . ', ', . X X' , - .
F , , X F X' , ', .
, , - F F', . F', , F , F , F F', X F X' F', . Z0 , , X' X, : (Z0) = X', X' = Z0().
:
1. , Z0.
2. X X' , Z0, Z0() = X'. Z0 - XX'. , , .
3. F F', . Z0 .
, , , , Z0() = X' Z0(')=, = Z0 .
, , , . , . Z0 , , .
4. F F' , Z0 F F' , , . F F' , , - X Y F ', Y' F' , Y = 'Y'.
5. .
6. , , , , .
|
|
, Z0 :
) ;
) - ;
) ;
) ;
) ;
) .
7. - ( ). , , , , , . , , .
8. O1, .
, , .
9. 0, 01, 02, , 00102 . .
10. , , . .
11. ( ), - (. 1.1).
, . , , . , , . , , , , .
³ , . , . , 㳺 , . , .
12. , , .
.
13. ³ , , , , . , , . : , , - -. , .