Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

1.1k questions

1.2k answers


543 users

0 votes

This is my solution. Would you please tell me in which part I'm doing wrong?

in * TF "Emb. Sys. and Rob." by (1.7k points)

1 Answer

0 votes
Best answer
You have made mistake in SIM1, that is you missed few state pairs in step 0. According to SIM1, two states are in a relation if they agree on common variables.

(s1, s2) ∈ σ implies L1(s1) ∩ V2 = L2(s2) ∩ V1

So in this question the common variable is 'a' and the states in a relation are those that agree upon the variable 'a'.

Eg: (Q3, S0) is a state pair that satisfies SIM1.
by (1k points)
selected by

Related questions

0 votes
2 answers
0 votes
2 answers
Imprint | Privacy Policy