Pr-1st-1.1-m10-Slajd47

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Twierdzenie 10.3

Twierdzenie 10.3


Twierdzenie 10.3

Jeżeli algorytm stwierdza wystąpienie zakończenia statycznego przetwarzania aplikacyjnego, to przetwarzanie aplikacyjne jest w istocie w stanie zakończenia statycznego.

Rozważmy dwa kolejne cykle detekcyjne k oraz k+1 . Załóżmy, że algorytm stwierdza zakończenie przetwarzania aplikacyjnego kończąc cykl k+1 , a więc w chwili . Wówczas .


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