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

531 users

0 votes

why it holds only for s1 and not s2. Kindly elaborate.

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

1 Answer

0 votes
Property S1 holds in state s0, since all paths leaving states s0 satisfy next p or q: We have p next when we go left, and q next when we go right. Property S2 does not hold in state s0 since neither do all paths leaving state s0 satisfy next p, nor do all paths leaving state s0 satisfy next q.
by (166k points)
Thanks a lot. It resolved my confusion now.
Imprint | Privacy Policy
...