Pr-1st-1.1-m08-Slajd16: 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 8: | Linia 8: | ||
Jeżeli proces konstrukcji konfiguracji spójnej rozpoczął się w chwili <math>\tau _b</math>, a zakończył w chwili | Jeżeli proces konstrukcji konfiguracji spójnej rozpoczął się w chwili <math>\tau _b</math>, a zakończył w chwili | ||
<math>\tau _e</math>, to wyznaczona konfiguracja <math>\mathit\Gamma</math>, reprezentująca pewien stan globalny <math>\mathit\Sigma</math>, jest osiągalna ze stanu <math>\mathit\Sigma(\tau _b)</math>, a stan globalny <math>\mathit\Sigma(\tau _e)</math> jest osiągalny ze stanu <math>\mathit\Sigma = \mathit\Gamma </math>. Tym samym: | <math>\tau _e</math>, to wyznaczona konfiguracja <math>\mathit\Gamma</math>, reprezentująca pewien stan globalny <math>\mathit\Sigma</math>, jest osiągalna ze stanu <math>\mathit\Sigma(\tau _b)</math>, a stan globalny <math>\mathit\Sigma(\tau _e)</math> jest osiągalny ze stanu <math>\mathit\Sigma = \mathit\Gamma</math>. Tym samym: | ||
:<math>\mathit\Sigma (\tau _b) \rightsquigarrow \mathit\Gamma \rightsquigarrow \mathit\Sigma (\tau _e)</math> | :<math>\mathit\Sigma (\tau _b) \rightsquigarrow \mathit\Gamma \rightsquigarrow \mathit\Sigma (\tau _e)</math> | ||
[[pr-1st-1.1-m08-Slajd15 | << Poprzedni slajd]] | [[pr-1st-1.1-m08-toc|Spis treści ]] | [[pr-1st-1.1-m08-Slajd17 | Następny slajd >>]] | [[pr-1st-1.1-m08-Slajd15 | << Poprzedni slajd]] | [[pr-1st-1.1-m08-toc|Spis treści ]] | [[pr-1st-1.1-m08-Slajd17 | Następny slajd >>]] | ||
Aktualna wersja na dzień 10:45, 5 wrz 2023
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:
