. , .
, , , , .
(Harrison, Ruzo Ullman 1976) . , ( 3). .
3
--------- | ||||||
- | --------- | |||||
- | --------- |
, .
, .
, , . , , , , . , . , , .
( Denning, 1983),
, , , , (Goguen Meseguer, 1982).
, . , , , .
, . ( ) , , , .
|
|
- , , . , . - , , ( ) .
. , , .
(, , .) . , , , , , .
:
1. , . , .
2. . , .
3. . . , , , . , , - , .
:
- ;
- . , , ;
. , . , .. - , " " , .
, , . , .
|
|
4. , . , , , , , .
5. . . - . - , . () .
6. , .