16.1.
. .
- , . . - , .
- , . , , . , - , .
, , . , , , , . , .
- . - . , , . , .
- , - , , .
, , , - . , . , , , , , : , , . .
|
|
:
- , ;
- , .
. . , " " , , ( ) , . . () . , , , : (, , .) , , , .
, . .
. , - . , . ( ), , , , , , , .
(, , ..). .
, , . , , , , .. : , ; ; .
- , , - .
. . , , , ..
, , , - . , ( ) . , , , , , , , .
|
|
.
16.2. -
- .
:
- , ;
- ;
- ;
- .
, , .
:
= ----------------------------------------,
T = ---------------------------------------------,
= --------------------------------------------,
= --------------------------------------------,
= -----------------------------------------,
= -----------------------------------------------------------------,
- ,
;
T - ;
- ;
- ;
- ;
- .
,
, .
() (T) ,
..⠠ ..
:
= --------------------------;
..
T = --------------------------.
..⠠
1 . , , .
( 5, 5 - 10, 10 - 20 20 ), .
, , , , .
, , () (), :
|
|
= ------------------------------------------------------;
= ------------------------------------------------------.
. , , .
:
= --------------------------------------------------------,
= --------------------------------------,
= --------------------------------------------,
= --------------------------------------------------------,
- ;
- ;
- ;
- .
, , . <1>.
--------------------------------
<1> .. . .: -, 2005. . 45.
. , (. 16.1). :
R = x x R.
┌───────────────────────────────────────────┐
┌──>│ R │<──┐
│ │ │ │
│ └───────────────────────────────────────────┘ │
│ /│\ │
│ │ │
┌──────────┴──────────┐ ┌──────────┴──────────┐ ┌──────────┴──────────┐
|
|
│ │ │ │ │ │
│ │ │ │ │ R │
│ Π │ │ │ │ │
│ │ │ │ └─────────────────────┘
└─────────────────────┘ └─────────────────────┘
/│\
├─────────────────────────┬─────────────────────────┐
┌──────────┴──────────┐ ┌──────────┴──────────┐ ┌──────────┴──────────┐
│ │ │ │ │ │
│ () │ │ │ │ │
│ │ │ │ │ │
└─────────────────────┘ │ () │ │ │
│ 젠 │ └─────────────────────┘
└─────────────────────┘
┌─────────────────────────┬─────────────────────────┐
┌──────────┴──────────┐ ┌──────────┴──────────┐ ┌──────────┴──────────┐
│ │ │ │ │ │
│ │ │ │ │ │
└─────────────────────┘ │ │ └─────────────────────┘
└─────────────────────┘
┌─────────────────────────┐ ┌────────────────────────────────────┐
|
|
│ │ │ │
└─────────────────────────┘ └────────────────────────────────────┘
┌─────────────────────────┐ ┌────────────────────────────────────┐
│ │ │ │
└─────────────────────────┘ └────────────────────────────────────┘
┌─────────────────────────┐ ┌────────────────────────────────────┐
│ │ │ │
└─────────────────────────┘ └────────────────────────────────────┘
┌────────────────────────────────────┐
│ │
└────────────────────────────────────┘
┌────────────────────────────────────┐
│ │
│ .. │
└────────────────────────────────────┘
. 16.1
, , ( ). - , - .
. , , .
.
, .
()
.
:
()
= ---------------------------------------------------.
.
1 . , .
, , .
, , .
:
- ;
- ( );
- ( );
- ;
- .
, .
()
(),
:
= ------------------------------------,
= --------------------------------------.
, , - .
, :
- - ( 24 );
- () ( );
- - . ;
- , .
(),
..
(), (),
..⠠ ..
:
= T: T,
..
= T: T,
..
= T: T,
..
T, T, T, T - , ,
.
(-).
:
= : ,
.
, -
-.
, , - - :