Pr-1st-1.1-m02-Slajd34: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 5: | Linia 5: | ||
'''Funkcja tranzycji''' | '''Funkcja tranzycji''' | ||
<math>\mathcal{F}_i \subseteq \mathcal{S}_i \times \mathcal{E}_i \times \mathcal{S}_i </math> opisuje reguły zmiany stanu | <math>\mathcal{F}_i \subseteq \mathcal{S}_i \times \mathcal{E}_i \times \mathcal{S}_i </math> opisuje reguły zmiany stanu | ||
<math>S</math> na <math> | <math>S</math> na <math>S'</math> w wyniku zajścia zdarzenia <math>E</math>. | ||
Elementy | |||
<math>\left \langle S,E,S' \right \rangle \in \mathcal{F}_i</math> nazwiemy '''tranzycjami''' lub '''krokami'''. W zależności od zachodzącego zdarzenia <math>E</math>, tranzycję nazwiemy odpowiednio '''tranzycją wejścia''', '''wyjścia''' lub '''lokalną'''. | <math>\left \langle S,E,S' \right \rangle \in \mathcal{F}_i</math> nazwiemy '''tranzycjami''' lub '''krokami'''. W zależności od zachodzącego zdarzenia <math>E</math>, tranzycję nazwiemy odpowiednio '''tranzycją wejścia''', '''wyjścia''' lub '''lokalną'''. | ||
[[pr-1st-1.1-m02-Slajd33 | << Poprzedni slajd]] | [[pr-1st-1.1-m02-toc|Spis treści ]] | [[pr-1st-1.1-m02-Slajd35 | Następny slajd >>]] | [[pr-1st-1.1-m02-Slajd33 | << Poprzedni slajd]] | [[pr-1st-1.1-m02-toc|Spis treści ]] | [[pr-1st-1.1-m02-Slajd35 | Następny slajd >>]] | ||
Wersja z 15:49, 7 wrz 2006
Funkcja tranzycji
Funkcja tranzycji opisuje reguły zmiany stanu na w wyniku zajścia zdarzenia . Elementy nazwiemy tranzycjami lub krokami. W zależności od zachodzącego zdarzenia , tranzycję nazwiemy odpowiednio tranzycją wejścia, wyjścia lub lokalną.
