asked Nov 23 '15
Prosím o radu s příkladem 3.6 v tomto cvičení assignment_3.pdf
V interpretaci io jsou stavy O1, O2. Jak funguje třeba bod b) ? Stačí se in the future dostat alespoň z jednoho stavu z množiny stavů {O1, O2} do stavu M, nebo tato úloha funguje úplně jinak?
Díky
answered Dec 19 '15
V případě b), pokud by to celé bylo v ještě v G, pak by muselo platit, že když jsem v O1,nebo v O2, pak nutně v budoucnu budu v M. Takhle to znamená jestliže na začátku jsem v O1,O2, pak v budoucnu budu v M, jenže na začátku nejsem v O1 ani o2, takže to platí.
Asked: Nov 23 '15
Seen: 481 times
Last updated: Dec 19 '15
Copyright students of FIT CTU and others, 2014. Content on this site is licensed under a Creative Commons Attribution-ShareAlike 4.0 International license.