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

868 questions

986 answers

1.4k comments

438 users

0 votes
I was solving 1 Simulation problem and encountered 1 case.

Could you please explain the behaviour of below cases :

Case 1) When P0 is dead state ?

P0 ---> {}

|

Q0 --> "Q0/Q1/Q2"

Case 2) When Q0 is dead state ?

P0 ---> P1

|

Q0 --> {}

Thanks in advance.
in * TF "Emb. Sys. and Rob." by (2.9k points)

1 Answer

+1 vote
 
Best answer
Property SIM2 demands that for all s1->s1' and s1<s2, we must find a s2' with s2->s2' and s1'<s2'.

The special cases that trouble you are therefore be dealt with as follows: if we have a state s1 which is in relation to a state s2, i.e., s1<s2, but there is no successor s1' of s1, then SIM2 is trivially satisfied regardless whether s2 has successor states or not.

If s1 has a successor state s1', but s2 does not have a successor, then SIM2 is not satisfied and therefore we have to remove (s1,s2) from the current relation.
by (139k points)
selected by
Totally understood your point.
Thanks for the explanation.

Related questions

0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
asked Aug 16, 2020 in * TF "Emb. Sys. and Rob." by nikita (300 points)
Imprint | Privacy Policy
...