Pr-1st-1.1-m10-Slajd64

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Dowód twierdzenia 10.4 (2)

Dowód twierdzenia 10.4 (2)


Tak więc każdy cykl zainicjowany po , powiedzmy cykl k, nada wszystkim zmiennym wartość True, i odbierze od monitorów wektor końcowych wartości liczników . Dlatego, w chwili rozpoczęcia kolejnego cyklu detekcyjnego, wysłane zostaną ostateczne wartości liczników wiadomości wysłanych, a stąd . W efekcie otrzymujemy, że:

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