Pr-1st-1.1-m03-Slajd21: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
m Zastępowanie tekstu – „<math> ” na „<math>” |
m Zastępowanie tekstu – „ </math>” na „</math>” |
||
| Linia 6: | Linia 6: | ||
może być przedstawiony w postaci grafu zorientowanego, w którym wierzchołki odpowiadają stanom | może być przedstawiony w postaci grafu zorientowanego, w którym wierzchołki odpowiadają stanom | ||
<math>\mathit{\Sigma}</math>, a łuki | <math>\mathit{\Sigma}</math>, a łuki | ||
<math>\left\langle \mathit{\Sigma} ^k, \mathit{\Sigma} ^l \right \rangle</math> oznaczają istnienie zdarzenia dopuszczalnego <math>E </math> takiego, że | <math>\left\langle \mathit{\Sigma} ^k, \mathit{\Sigma} ^l \right \rangle</math> oznaczają istnienie zdarzenia dopuszczalnego <math>E</math> takiego, że | ||
<math>\left \langle \mathit{\Sigma} ^k, E, \mathit{\Sigma} ^l \right \rangle /in \mathit{\Phi} </math>. | <math>\left \langle \mathit{\Sigma} ^k, E, \mathit{\Sigma} ^l \right \rangle /in \mathit{\Phi}</math>. | ||
Graf taki, będziemy nazywać '''grafem stanów osiągalnych przetwarzania rozproszonego''' lub '''siatką obliczeń rozproszonych'''. | Graf taki, będziemy nazywać '''grafem stanów osiągalnych przetwarzania rozproszonego''' lub '''siatką obliczeń rozproszonych'''. | ||
[[pr-1st-1.1-m03-Slajd20 | << Poprzedni slajd]] | [[pr-1st-1.1-m03-toc|Spis treści ]] | [[pr-1st-1.1-m03-Slajd22 | Następny slajd >>]] | [[pr-1st-1.1-m03-Slajd20 | << Poprzedni slajd]] | [[pr-1st-1.1-m03-toc|Spis treści ]] | [[pr-1st-1.1-m03-Slajd22 | Następny slajd >>]] | ||
Aktualna wersja na dzień 10:46, 5 wrz 2023
Graf stanów osiągalnych
Zbiór częściowo uporządkowany może być przedstawiony w postaci grafu zorientowanego, w którym wierzchołki odpowiadają stanom , a łuki oznaczają istnienie zdarzenia dopuszczalnego takiego, że . Graf taki, będziemy nazywać grafem stanów osiągalnych przetwarzania rozproszonego lub siatką obliczeń rozproszonych.
