2.
6
, , . .
, .
: , .
, , , , . , , , .
( ) , , .
, : , , , .
, .
( ) , ( , ).
, , , ( , , , ..)
.
:
ü (),
ü ,
ü ,
ü ,
ü ,
ü .
:
() , ;
, .. .
, (, , ), .
:
Sf = {T, x, C, Q, y, φ, η},
T ;
;
|
|
= {c: T → x} ;
Q ;
y ;
Y = {u: T → y} ;
φ = {T×T×T×c → Q} ;
η:T×Q → y ;
;
u .
.
. , , .
, :
,
IDEF0.
, , :
;
;
.
, .. () , .
, . . (, , , ).
() , . .
.
. 6.1
2 : .
, . . ( ) ( - ). , , . -, , .
.
, .
i- (i+1)- , (i-1)- .
IDEF0- , , .