Pr-1st-1.1-m02-Slajd27
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Stan procesu (2)
Dla każdego , . W celu uproszczenia notacji, zależność stanu od czasu można przyjąć za domyślną i jeśli nie prowadzi to do niejednoznaczności, oznaczać stan w pewnej chwili przez . Zbiór jest zbiorem stanów początkowych, których wartości są zadawane wstępnie, bądź są wynikiem zajścia wyróżnionego zdarzenia inicjującego .