Pr-1st-1.1-m02-Slajd34: 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 4: | Linia 4: | ||
'''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>S'</math> w wyniku zajścia zdarzenia <math>E</math>. | <math>S</math> na <math>S'</math> w wyniku zajścia zdarzenia <math>E</math>. | ||
Elementy | Elementy | ||
Aktualna wersja na dzień 10:47, 5 wrz 2023
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ą.
