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

1.6k comments

538 users

0 votes

From September 2022:

For (c) I answered with what in (d) is represented in path S0(S2ˆ(omega)) to satisfy formula S2. Is that correct?

Then in (d) I am confused by the answer, how can {s0,s2} satisfy S2? 

I thought it would hold if the initial state was directly s2.

I read the formulas as:

S1: There exists a path where eventually a is strong until b

S2: There exists a path where exists a path where eventually a is strong until b

Is something wrong with my understanding?

Thank you in advance

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

1 Answer

+1 vote
 
Best answer

Consider the path s0->s2->s2... of the structure in solution (d)

             0 1 2 3 4 5 6
           a 0 0 0 0 0 0 ...
           b 0 1 1 1 1 1 ...
    [a SB b] 0 0 0 0 0 0 ...
          !a 1 1 1 1 1 1 ...
   [!a SU b] 1 1 1 1 1 1 ...

So, [!a SU b] holds, and [a SB b] is false, so your are right!

by (166k points)
selected by

Related questions

0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
asked Sep 1, 2022 in * TF "Emb. Sys. and Rob." by learner (660 points)
Imprint | Privacy Policy
...