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\to F{D}^{\prime }}^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 $F{D}^{\prime }$.

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