. .
, .
.
, . 6.8. . ( ). :
q 1 , b;
q 4;
q b 3, 6;
q 4 , 6.
. 6.8.
:
q
DEF(i) = { | i - };
q :
USE (i) = { | i - }.
, . :
x:= f ().
, , . :
#:= f (x).
( -).
DU - ( -) [, i, j ], i, j ; i - ( DF(i)) j - ( USE(j)).
DU-:
[,1,4],[b, 1,3], [b, 1,6], [, 4, 6].
DU - DU- . , .
, . DU-.
DU -:
1) () ;
2) ();
3) DU-;
4) ( DU- , . 6.9);
. 6.9. DU-
5) , ;
6) .
DU -:
q - ;
q .
DU -: .
|
|
DU -: .
, . , .
4 : , , , . . 6.10.
. 6.10.
:
1) ;
2) ;
3) ;
4) , <;
5) - 1, , + 1 .
. [13]. , , (. 6.11).
. 6.11.
. 6.12.
. 6.12.
.
1. . .
2. . , .
3. . . () .
4. , .
, . (, ) .
. .
1. .
2. ? .
3. ?
4. ?
5. ?
6. ? ?
7. ?
8. ?
9. ?
10. ?
11. ?
12. .
13. ?
14. .
15. .
16. ?
17. ?
|
|
18. ?
19. .
20. , .
21. .
22. ?
23. ?
24. . ?
25. ?
26. ?
27. ? ?
28. .
29. , .
30. .
31. ?
32. ?
33. -?
34. .
35. , .
36. .
37. ?
38. ?