asked 2015-11-23 20:52:59 +0100
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 2015-12-19 20:04:01 +0100
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: 2015-11-23 20:52:59 +0100
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.