Pr-1st-1.1-m08-Slajd16

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Twierdzenie 8.2

Twierdzenie 8.2


Twierdzenie 8.2


Jeżeli proces konstrukcji konfiguracji spójnej rozpoczął się w chwili , a zakończył w chwili , to wyznaczona konfiguracja , reprezentująca pewien stan globalny , jest osiągalna ze stanu , a stan globalny jest osiągalny ze stanu . Tym samym:

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