, , , . »-.
.
. VR AR. . VR , , VR , .
(-), ( ) - ( ), . , , .
1. - -, ( ) .
[R]nO(a1) [R]iO(a1)
2. - . , , , , VR .
[R]i=1O(a1,a2,a3...) [R]i=1O(b1,b2,b3...)
3. VR , ( ) . [R]iO(a1...) [R]rO(a1...)
4. - . .
[R]diO(a1) [R]diO(a2) [R]diO(a1,a2,a3...)
5. , , :
[O1(a1),O2(b1)]di(O1'(a'1),O2'(b'1)) [O1(a1),O2(b1)]di(O1'(a'1),O2'(b'1),((a'1,b'1)))
, . .
. . :
|
|
[R]iO(a1...)Ù[R]rO(a1...) [R]eO(a1...)
. . ( , ). , .
[R]i=0O(a1...) [R]nO(a1...); [R]r=0O(a1...) [R]nO(a1...)
. . S(b1...) N(a1...) . :
[R]i(N(a1...))rev(S(b1...)) [R]i(N(a1...))r[R]i(S(b1...))
.
: - .
.
VR.
:
[R]i=1O(a1...)Ù[R]i=0O(a1...) [R]nO(a1...)
:
[R]i=1O1(a1...)Ù[R]i=0O2(b1...) [R]n(O1(a1...); O2(b1...))
:
[R]iO(a1)Ù[R]iO(Øa1) [R]nO(a1,Øa1)