, - , , , , .
: F. - F F .
| F |=| F |=| F |. F ~(F, F, F ), .. (F , F ) ~ 0,
F~ (F, F , F ) ~ (F, F ,F) ~ (F , M (F, F )).
M (F, F )= BA x F = M B(F).
:
F ~ (F , M (F, F ))
. . .
- .
---------------
R , .
.
R0 -
L0 -
, .
.
( , )
. .
, , , R, , L0 - . , R, L0.
:
: , , , .
.
.
, , , , , Oz, (.). , :
.
, . , , :
, . , ,
.
: , , , , , : .
|
|
, . , . , . , , , , R. , , . , ,
, .