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

935 questions

1.1k answers

1.4k comments

442 users

0 votes
Hello,

I have question in Simulation. There was a question(problem 3.c) in "2018.08.21" exam paper, where state s0 has no successor states but still all the state pair with (s0,q) is not eliminated. Can anyone explain, if there is any rule for this?.

Thanks!
in * TF "Emb. Sys. and Rob." by (300 points)

1 Answer

0 votes
We check whether for any successor of s0, there is one of q so that the two successors are in relation. Since s0 has no successors, this requirement is quite easily satisfied.

If we checked bisimulation or simulation in the other direction, we could only relate s0 to q-states without successors.
by (25.6k points)

Related questions

0 votes
1 answer
0 votes
1 answer
0 votes
2 answers
Imprint | Privacy Policy
...