VRS Sheet 5 Q1.b From FSMs to Kripke Structures 1

Question

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?

Answer 1

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.

Comments

This bug has just been fixed, if you try your solution now it should work this time.