3-4 . SADT , , , .
.
SADT , - (). SADT SADT . SADT .
SADT .
- () , , .
: () () - (). : λ.
, .
, .. , .
, , , ..
/12/:
- , (F0);
- ;
- ;
- F0 ;
- ;
- () .
:
- , ;
- ;
- ;
- .
, .
: ) - ) - .
|
|
() (). () ( ).
. 3 ( ) .
(SADT - ).
SADT- SA- (. 4).
. 3. - /11/
. 4.
SADT- (SA-)
(I) () () (). SADT- SADT-, - .
SADT- , , . . ( ..), , , (, ). , . .
, , . . , . , , , . , - . . , : 1 - , 2 - ..
.
SADT . () . .
: , , , . , . , - , - , - .
: ; ; ; ; -.
|
|
, , . , .
: , , .
, , , , , ..
SADT- , , , , , ..:
- , , , , , ..;
- , , , , , ..
. .
|
, , SADT .
. 5. () SADT -
. 6. ()
. 7. (
)
SADT- (. 5, 6, 7):
; ;
; ;
; ;
- .
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. - .
, , SADT , , .