Ask Your Question
0

pomoc s příkladem na cvika z MI-TES

asked 2015-11-23 20:52:59 +0100

vilestra gravatar image

updated 2015-11-23 20:54:10 +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

edit retag flag offensive close delete

1 Answer

Sort by » oldest newest most voted
0

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í.

edit flag offensive delete publish link more

Your answer

Please start posting your answer anonymously - your answer will be saved within the current session and published after you log in or create a new account. Please try to give a substantial answer, for discussions, please use comments and please do remember to vote (after you log in)!

Add answer

[hide preview]

Question tools

Follow
1 follower

Stats

Asked: 2015-11-23 20:52:59 +0100

Seen: 481 times

Last updated: Dec 19 '15