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

1.1k questions

1.2k answers

1.6k comments

529 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 (300 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 (166k points)
This bug has just been fixed, if you try your solution now it should work this time.

Related questions

Imprint | Privacy Policy
...