Pr-1st-1.1-m03-Slajd06

Globalna funkcja tranzycji

Globalna funkcja tranzycji $\mathrm{\Phi }$

jest złożeniem funkcji tranzycji procesów składowych, a więc jest zbiorem trójek

$⟨\mathrm{\Sigma },E,{\mathrm{\Sigma }}^{\prime }⟩$, dla których istnieje takie $k$, $1\le k\le n$, że $\mathrm{\Sigma }=⟨S_1,S_2,\dots ,S_k,\dots ,S_n⟩$, ${\mathrm{\Sigma }}^{\prime }=⟨S_1,S_2,\dots ,{S_k}^{\prime },\dots ,S_n⟩$ oraz $⟨\mathrm{\Sigma },E,{\mathrm{\Sigma }}^{\prime }⟩\in {{ℱ}}_k$

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