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

933 questions

1.1k answers


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

Related questions

Imprint | Privacy Policy