Pr-1st-1.1-m11-Slajd33

Relacja redukcji detektorów (1)

Pomiędzy różnymi klasami detektorów awarii można wyznaczyć pewną hierarchię pozwalającą wykorzystywać detektory (określane nieformalnie jako silniejsze ) w celu emulowania własności innych (które określa się wtedy jako detektory słabsze ).

Mówimy, że istnieje algorytm redukcji $A_{FD\rightarrow FD'}^{R}$, jeżeli dla każdego przebiegu tego algorytmu potrafi on przekształcić wyjście detektora błędów $FD$ w możliwe wyjście detektora $FD'$.

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