Pr-1st-1.1-m02-Slajd25

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Model formalny procesu sekwencyjnego

Model formalny procesu sekwencyjnego

Formalnie, proces sekwencyjny może być opisany (modelowany) przez uporządkowaną czwórkę , gdzie - jest zbiorem stanów procesu , - jest zbiorem stanów początkowych, , - jest zbiorem zdarzeń procesu , - jest funkcją tranzycji, taką że: , a , jeżeli zajście zdarzenia w stanie jest możliwe i prowadzi do zmiany stanu na .


<< Poprzedni slajd | Spis treści | Następny slajd >>