Pr-1st-1.1-m08-Slajd16

Twierdzenie 8.2

Twierdzenie 8.2

Jeżeli proces konstrukcji konfiguracji spójnej rozpoczął się w chwili ${\tau }_b$, a zakończył w chwili ${\tau }_e$, to wyznaczona konfiguracja $\mathrm{\Gamma }$, reprezentująca pewien stan globalny $\mathrm{\Sigma }$, jest osiągalna ze stanu $\mathrm{\Sigma }({\tau }_b)$, a stan globalny $\mathrm{\Sigma }({\tau }_e)$ jest osiągalny ze stanu $\mathrm{\Sigma }=\mathrm{\Gamma }$. Tym samym:

$\mathrm{\Sigma }({\tau }_b)⇝\mathrm{\Gamma }⇝\mathrm{\Sigma }({\tau }_e)$

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