[VRS] Sheet 4 Q2 from FSM to Kripke

Question

I=I=q,

R=R=!(next(q)&q&p|(o->a)|next(p))

I Belive, below is the correct solution to the above question. I have tried it using the truth table.

Sol: init 2;transitions (0,{},{o},0); (0,{},{o},2); (1,{},{o},0); (1,{},{o},2); (2,{},{o},0); (2,{},{o},2); (3,{},{o},0);

I get wrong ans in the online portal during submission.

Comments

Do you mean sheet 4, Question 2.a ?

---

Yes , I got the answer , init should be 2,3 instead of only 2.

Answer 1

It is already answered in the comments.