Pr-1st-1.1-m07-Slajd07

Konfiguracja spójna (3)

Twierdzenie 7.2

Jeżeli konfiguracja $\mathrm{\Gamma }=⟨S_1^{k1},S_2^{k2},\dots ,S_n^{kn}⟩$ jest konfiguracją spójną, w której lokalne stany składowe $S_u^{ku}$ są osiągalne w pewnej realizacji przetwarzania rozproszonego $\mathrm{\Pi }$, to istnieje stan osiągalny $\mathrm{\Sigma }(\tau )$, taki że dla każdego, $1\le u\le n,S_u(\tau )=S_u^{ku}$.

Dowód wynika wprost z definicji konfiguracji spójnej i stanu osiągalnego.

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