(Sequential substates) , .
, . , , .
. , . , , , , . , : . , . 6.59.
. 6.59.
.
, : (n) n. , , . . , , . .
. , . , . , .
. , . , .
(Concurrent substates) , , .
, . , .
, , (. 6.60.). . , (. 6.60.) : (, , ), (, , ), (, , ), (, , ).
. 6.60.