, , . .
. . . , , , , , .
, , , , . , , , , . , [17], .
, , , . , , , . .
, . , , .
, , , . , . - , , , .
, , , , , , , .
|
|
, , , , . , - , - . - , -. , - , .
[18] . . , , , , , . . (-) .
(, , , , , ). , , , , , . , , .
. VR , VR -, . VR VR, .. VR, - (, , , , , , ). VR. VR [19].
, , . .
, , , . : , P(x) X(p), , X(p,q,r...). . [20]
|
|
, , , , . : , , , . , ( AR) ( AR VR). , , , .
- () - . - . , ..[21] : 1) , 2) , 3) , 4) 5) . ( ). , , , - - .
. -, , , , - . - , , , . -, , - , .
, 6) - , 7) , ( ), . , (, ) , , , .
. , 6- , . 7- , , ( ), .
, - , - - ( ). .
|
|
, , , . - , , : . ; ; ; , , [22]. .
() () . : - . , , -́ . .
, - .
- , , . , , . .
- . .
. : . . , - , . , -, () (). , , . . -, , . , - , .
|
|
, . , , , . , . , - , .
? (), . , , . : . (), (), (), ( ), ( ). , , , - .
.
, .
:
1) (, ) (, );
2) , ;
3) ;
4) (), .
, .
, ? , : ? , , -, . - , . , , . , -, () (). : : .
, AR1 ( ), AR2 ( ); VR1 ( ), VR2 ( ). :
|
|
AR1-VR1-AR2-VR2
. , , , . .
(). . , ( ) : [O1(a1)]→(O'1(a'1)), . . [23]. , (), , . : .
. , , . , , , .
, : , .. , , , . ? , , . (-), - .
: . - . , , . , , , . .
-, . , , - , , - , . - . - .
- - . .