, .
:
T => R => T1 => R1 => T2 => R2
:
T R
.
:
1. .
2. .
, .. , : . . , ( ), .. , ( ).
)
(1) => (2) => (3)
.
.. : : , , , ( ), . . , , . , , -. . , , - : , ; , , , ; , , , .
, . .. . , , .
)
, .
. . , , , , . :
-, -
, :
|
|
, .
? ?
-, , , .
-, , , . , , , , , , , . , , .
, -, , , , . , , , . . , , , , (..).
, , , .
, . , . - . . , . , , , . . . . , - , .
, . , . , , , , , , . , ( , ), , .
- , , . , , .
, , , - -, , : , , . . : . , , , .
|
|
. .
, , , ( ), .
, , .
, , , : , . [30].
, , , , . ? , , . : , . , , , . . , , .
.
.., , . [: 237].
, , , .. . , : - , - , (..).
, , , , , [, : 107].
: , .
, , , . , .
, , , .. , , , , , .
|
|
, .
;
;
;
- .
, , , .
, . . , , .
, , , -.
- : . : . , , .
: . .
, , , , . , , , , - , .
1. .
- , .
- , .
, . , .