Given a FSM: ={2in,2out,,2state,}A={2Vin,2Vout,I,2Vstate,R}

where in={a}Vin={a}, out={o}Vout={o}, state={p,q}Vstate={p,q}, =I=!!p,

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

My answer: *(2,{a},{},4);(2,{a},{},3);(2,{},{},3);(4,{a},{},4);(4,{},{},4);(4,{a},{},3);(4,{},{},3). I do not understand why it is wrong. Could someone please help. Also Could you please explain the way to solve the next parts that is drawing Kripke Structure and finding the relevant states?*