, - . , - , . , , »-. »-.
»- , , . ?
: . . , (, ) »- ( ), ( ), ( ). »- .
»- , . - - - ( -).
1) ( ): [R1,R2,](V1,V2,). . , ( ) ( ). , , , . , , . . , , , .
|
|
, . . , , , .
2) - ( ) , -: V={M, S, A}; R={M, S, A, T, N, F}; [R1=F](V1=M) [F](M) , , [R2=A](V2=S) [A](S)[90]. , , . . , . , , , -, .
, , - (-). , - (-).
. . ( ), . : , , , , , . . . -. : - , - . , .
, (- ) (- ) - (- - - ), (- - ) ( , , -, - 8- , 9- ) [91]. .
|
|
- , - -- - -- - - .
3) - ( -) , : [F](M); [A](S); [F](M). , , . , - , . .
, . - , , , . - . AR-VR .
4) - ( ) : [F](M) [F]i(M). . . . . , , . , , , - -, -. . - . . . . . . , , - (), - () . , - .
|
|
5) , ( ) , : F[(a1,a2,a3...)]. -, . . . , , .
. . , , , , . , 6- . .
6) ( ) , (a1,a3) (a2,a3) (a1,a2,a3...), 5- : F[(a1,a2,a3...)]iM((a1,a3);(a2,a3)). , , [92]. , () . : , , , , , .
, , . , . .
7) ( ) , O (a'2,a'3): F[(a1,a2,a3...)]iM(O(a'2,a'3)). , , -, , . , .
|
|
, , , , . , : , - , . 7- .
8) - ( ) , (a1,a2,a3...) (a2,a3): F[(a2,a3)]iM(O(a'2,a'3)). , . - - (-), , . , . . , , [93]. . : - , ,
9) (- ) , O' (a2,a3): F[O'(a2,a3)]iM(O(a'2,a'3))[94]. , , . , - -. .
10) : ( ) , F[O'(a1,a2,a3...)]iM(O(a'1,a'2,a'3...). - , - .
, , , - , . , , - , .
, , , . . , .
- -, . »- - , . - . . -, , .
, , . , , -. . - -, »-. .
|
|
-, -, - , - -- , . - . , . , - [95]. -, -- . »-, -.
, 8-, -.
8) - ( ) , (a1,a2,a3...) (a2,a3): F[(a1,a2,a3...)]iM(O(a'2,a'3))rF[(a2,a3)].
9) (- ) , O' (a2,a3): F[(a1,a2,a3...)]iM(O(a'2,a'3))rF[O'(a2,a3)].
10) : ( ) , F[(a1,a2,a3...)]iM(O(a'1,a'2,a'3...)rF[O'(a1,a2,a3...)].
, -.
, 10- , . . 8- -, - ( - - ). - . -, .
8- , 7- . 9- . 10- - . [96].
. 1- ; 2- ; 3- -; 4- - ; 5- ; 6) , ; 7) ; 8) ; 9) ; 10) .
( ) : 1) (, ) : () () -: ; 2) - - : ; 3) - ; 4) , - , , : , , ; 5) , , ; 6) , ; 7) , ; 8) , ; 9) , ; 10) - - ( ) [97].
, : - .
, , . (1) (6). (2) - (3) , . : (5) - (9), . (4) , , . (7), (8) (10). , - , . , , , . , , , . .
, -, :
11) 9. 10.
12) 7. - 10.
13) 4. 10.
14) 2. - , - - (2) 10.
-, , , , , .
, , »-. , . , , .