Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

769 questions

886 answers


424 users

0 votes
Compute the Kripke structure K={I′,S′,R′,L′}of the FSM: A={2Vin,2Vout,I,2Vstate,R} where Vin={a}, Vout={}, Vstate={p,q}, I=q, R=a&p&q&!next(q)&next(p)|a&q&!p&!next(p)&next(q)|a&!q&!next(p)&next(q)

I am asked to encode the set of reachable states S′reach. This is what I got

!p&q&!a | !p&q&a | p&!q&!a | p&!q&a | p&q&!a | p&q&a  

but it is marked as incorrect, can you please tell me why?
in * TF "Information Systems" by (280 points)

1 Answer

+1 vote
This is because of a bug in the exercise correction tool that is currently fixed. Your answer is correct, so please ask the tutor to give you the points.
by (117k points)
This bug has just been fixed, if you try your solution now it should work this time.
Imprint | Privacy Policy