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

917 questions

1k answers

1.4k comments

441 users

+1 vote
I would like to clarify on elimination of pairs if one of the node has no successor.

Scenario 1. Simulation

example pair (s1,q1) . S1 has no successors but q1 has some successor. In this case there is no need to delete pair right?

Scenario 2: Simulation

example pair (s1,q1). S1 has successors but q1 has no successors.In this case, the pair has to be deleted since q1 cannot simulate s1 isnt it?

Scenario 3: Bisimulation

example:

example pair (s1,q1) . S1 has no successors but q1 has some successor. pair is to be deleted right?

Scenario 4: Bisimulation

example pair (s1,q1). S1 has successors but q1 has no successors. In this case also, pair is to be deleted right?

Scenario 5: Bisimulation or Simulation

when both the nodes of pair has no successors. Then the pair always survives right?
in * TF "Emb. Sys. and Rob." by (370 points)

2 Answers

0 votes
Short answer: Yes, your assumptions are right.

If a state S1 has no successors, then all of its successors satisfy any criteria – including the criterion that each of them are in relation with a successor of Q1.

If a state S1 has no successors, then it can not provide any successors that could be in relation with a successors of Q1.

If both of them have no successors, then there is no successor left to complain about not having a successor to be in relation with.
by (25.6k points)
0 votes

Scenario 1. Simulation 
example pair (s1,q1) . S1 has no successors but q1 has some successor. In this case there is no need to delete pair right?


Correct. We just have to check that every transition s1 can do can also be simulated by q1. Since s1 has no transitions, q1 has nothing to care about.

Scenario 2: Simulation
example pair (s1,q1). S1 has successors but q1 has no successors.In this case, the pair has to be deleted since q1 cannot simulate s1 isnt it?


Correct. In that case the transitions s1 can do must also be simulated by q1, but since q1 has no successors, it cannot simulate any transition s1 has. Thus, the pair will be eliminated next.
 
Scenario 3: Bisimulation 
example pair (s1,q1) . S1 has no successors but q1 has some successor. pair is to be deleted right?


Correct. In that case the transitions q1 can do must also be simulated by s1, but since s1 has no successors, it cannot simulate any transition q1 has. Thus, the pair will be eliminated next.
 
Scenario 4: Bisimulation 
example pair (s1,q1). S1 has successors but q1 has no successors. In this case also, pair is to be deleted right?


Correct. In that case the transitions s1 can do must also be simulated by q1, but since q1 has no successors, it cannot simulate any transition s1 has. Thus, the pair will be eliminated next.
 
Scenario 5: Bisimulation or Simulation 
when both the nodes of pair has no successors. Then the pair always survives right?
Right.
by (142k points)

Related questions

0 votes
1 answer
asked Aug 15, 2020 in * TF "Emb. Sys. and Rob." by SKH (350 points)
0 votes
1 answer
+1 vote
1 answer
Imprint | Privacy Policy
...