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

1.1k questions

1.3k answers

1.7k comments

556 users

0 votes

Following is my solution in green color which satisfying S1 but not S2. Am I right?

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

1 Answer

0 votes
Yes, your solutions is an alternative one that is correct. The only path of the structure visits the "a"-state, the "b"-state and the "c"-state infinitely often, but there is not state where all these variables hold at the same time, and therefore such a state can also not be visited infinitely often. Albeit larger, your solution is even nicer than the given one.
by (170k points)

Related questions

Imprint | Privacy Policy
...