- - 7- . , ? , , , . , , , . . - : , , , , .
. , , , - , . . - . - , , , ( ), ( ). - - (-) (a), - (-) {b}. , .
, , , , , , .
|
|
, (), . , , , . ( ), ( ) () ().
, , () (). , - , , . .
7- , . , , ; ; , . . , , -. . , , , , . , , , .
, , . , , . : , , , , . , , , . .
|
|
, , , . , - , .
: , , , . , .
[O1(a1),O2(b1)]di(O1'(a'1),O2'(b'1)) O1'(a'1) O2'(b'1), , , . () , . :
[O1(a1),O2(b1)]di(((a'1)), ((b'1)))
[O1(a1),O2(b1)]di(O1'(a'1), ((b'1)))
[O1(a1),O2(b1)]di(((a'1)),O2''(b'1))
E, , : [O1(a1),O2(b1)]di(O1'(a'1),O2'(b'1))dr[O1'(e),O2'(e)]di(E(O3'(o'1,o'2)))[111].
, , , :
[O1(a1),O2(b1)]di(O1'(a'1),O2'(b'1))dr[O1'(e),O2'(e)]di(E(O1'(a'1),O2'(b'1)),O3'(e))
, , E(O1'(a'1),O2'(b'1)), O3'(e) E(O3'(o'1,o'2)), O1' O2' .
, , . .
, . , , . , - , , . -, .
|
|
-? : () (). , , , . - - .
, , . . - , - »-, :
(O1'(a'1),O2'(b'1))dr[O1'(e),O2'(e)]di(E((O1'(a'1),O2'(b'1)),O3'(o'1,o'2)))
, , , , , , , , , , , , , , - , -.
-, - .
, . , , . . , ( ), ( ). , , .
. , : . , , . .
. , ( ) . , , , . , ( ), . . . , , -, - .
|
|
, . , , a - A - - A(a). , , , A((a){a}), - (a) - {a}.
[A(a)]di(A(a){a})dr[A(a);A{a}]di(A(a);A{a})
A A(a);A{a} - . , ( ) , . , ( ) .
. - .
. - . , . , , . , , . -. . , . - , , .