:
1. .
2. .
3. , . , ; , .
4. 2 3 , . , .
, , , . .
R(A,B,C,D,E,...) . , , -> D, , , R ( , ).
: R1(A,B,C,E,...) R2(C,D), R R1 R2. , R1 R2. R2(C,D) , R. . 3 .
. , , , : <>, <> <>
: -> ; -> ; -> -> .
, . , . , .
"" -> -> . "" -> -> " " -> . R1 R2 .11 .
R1(C, , , , , )
蠠
<, , > < , , >
< >
R2(, )
蠠
< > < >
< > < >
|
|
.11. R1 R2 <-> .
R2(, ) , . R2 , . R1 , .. <> .
R1 .
<> -> , -> , -> , .
R1, R3 R4, .12. R2 .
R3(, , , )
蠠
<,.,> < ,., >
R4(, , )
蠠
<> <>
.12. R3 R4
.13 ( ), , . , , : R2, ; R3, ; R4, . , , .
R2(, )
R3(, , , )
R4(, , )
)
R3 R2
| ||||||
111 | 3 | 2 | 120 | 2135 | ||
111 | 2 | 4 | 211 | 3257 | ||
111 | 3 | 5 | 301 | 3589 | ||
222 | 3 | 4 | 201 | 3290 | ||
222 | 1 | 5 | 401 | 5452 | ||
222 | 4 | 4 | R4 | |||
333 | 2 | 5 | ||||
110 | 1 | 4 | 111 | 120 | ||
| 222 | 211 | ||||
333 | 301 | |||||
110 | 201 | |||||
444 | 401 |
)
.13. - ; - , .8,
: , , ? , , , , .13 , , .
. , . R4. , ( R4). , . , .
|
|
. , 120 , , 120. R2 . , R2, . R2, =120, . , . , -.
, , , , .
. , =110 . , 110. , (R3 R4). R3 <110,,1,4>, , R4, .
, , , , . - , , . , , , , , .