Pr-1st-1.1-m02-Slajd25: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
m Zastępowanie tekstu – „ </math>” na „</math>” |
||
| Linia 9: | Linia 9: | ||
<math>\mathcal{E}_i</math> - jest '''zbiorem zdarzeń''' procesu <math>P_i</math>, | <math>\mathcal{E}_i</math> - jest '''zbiorem zdarzeń''' procesu <math>P_i</math>, | ||
<math>\mathcal{F}</math> - jest '''funkcją tranzycji''', taką że: | <math>\mathcal{F}</math> - jest '''funkcją tranzycji''', taką że: | ||
<math>\mathcal{F} \subseteq \mathcal{S}_i \times \mathcal{E}_i \times \mathcal{S}_i</math>, a <math>\left \langle S, E, S' \right \rangle \mathcal{F}_i</math>, jeżeli zajście zdarzenia <math>E</math> w stanie <math>S</math> jest możliwe i prowadzi do zmiany stanu na <math>S' </math>. | <math>\mathcal{F} \subseteq \mathcal{S}_i \times \mathcal{E}_i \times \mathcal{S}_i</math>, a <math>\left \langle S, E, S' \right \rangle \mathcal{F}_i</math>, jeżeli zajście zdarzenia <math>E</math> w stanie <math>S</math> jest możliwe i prowadzi do zmiany stanu na <math>S'</math>. | ||
[[pr-1st-1.1-m02-Slajd24 | << Poprzedni slajd]] | [[pr-1st-1.1-m02-toc|Spis treści ]] | [[pr-1st-1.1-m02-Slajd26 | Następny slajd >>]] | [[pr-1st-1.1-m02-Slajd24 | << Poprzedni slajd]] | [[pr-1st-1.1-m02-toc|Spis treści ]] | [[pr-1st-1.1-m02-Slajd26 | Następny slajd >>]] | ||
Aktualna wersja na dzień 10:46, 5 wrz 2023
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 .
