Modely konkurentných systémov Formálne metódy tvorby softvéru
Modely konkurentných systémov Formálne metódy tvorby softvéru
Modely konkurentných systémov Formálne metódy tvorby softvéru
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Modálny MU - kalkuls<br />
Najmenší pevný bod<br />
⋂<br />
{E ⊆ P|g(E) ⊆ E}<br />
µ 0 g = ∅<br />
ak g(µ 0 g) ⊃ µ 0 g tak µ 1 g = g(µ 0 g)<br />
Vo všeobecnosti:<br />
µ 0 g ⊆ µ 1 g ⊆ · · · ⊆ µ i g ⊆ . . .<br />
22 / 29