yes.. for Compute the fix point H* of the computation of the greatest simulation relation between K2 and K1:

1) ({Q0,S0} {Q1,S1},{Q2,S2},{Q3,S1})---common variables

2)Check outgoing transitions:i got this :({Q0,S0} {Q1,S1},{Q2,S2},{Q3,S1})

these are my fixed points:({Q0,S0} {Q1,S1},{Q2,S2},{Q3,S1}) but my answer is incorrect...i checked in tool its not considering state pair Q3,S1 i didn't understand