Pr-1st-1.1-m05-Slajd24

Detekcja maksymalnego zbioru zakleszczonego

Detekcja maksymalnego zbioru zakleszczonego, sprowadza się do znalezienia takiego zbioru ${{ℬ}}^{*}$, dla którego spełniony jest warunek:

Parser nie mógł rozpoznać (nieznana funkcja „\lot”): {\displaystyle (deadlock(\mathcal{B}^{*}) \lot \mathcal{B}^{*} = emptyset) \land (maxdead(\mathcal{B}^{*})))}

gdzie $maxdead({{ℬ}}^{*})\equiv (\mathrm{\forall }{ℬ}::deadlock({ℬ})\Rightarrow ({ℬ}\subseteq {{ℬ}}^{*}))$.

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