VRS Sheet 4 Q2.a from FSMs to Kripke Structures 2

Question

I=!(p->q),

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

My solution:

init 2;

transitions (0,{a},{},0); (0,{a},{},2); (2,{a},{},0); (2,{a},{},2);

but the portal rejected my answer. Any hint?

Answer 1

The transition (2,{a},{!0},2) does not make sense. I guess you mean (2,{a},{},2).

Comments

yeah... sorry it's a mistake. I'll edit it