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

How are we getting highlighted step?

This is exam solution of : https://es.cs.uni-kl.de/teaching/vrs/exams/2017.02.15.vrs/2017.02.15.vrs.solutions.pdf

in * TF "Vis. and Sci. Comp." by (870 points)

1 Answer

0 votes
This is the semantics of automata formulas as you can read on slides 35/36 of the omega-automata chapter.
by (170k points)

Related questions

0 votes
1 answer
asked Aug 14, 2020 in * TF "Vis. and Sci. Comp." by Anshu (870 points)
0 votes
1 answer
0 votes
1 answer
asked Aug 13, 2020 in * TF "Vis. and Sci. Comp." by Anshu (870 points)
0 votes
1 answer
asked Aug 13, 2020 in * TF "Vis. and Sci. Comp." by Anshu (870 points)
0 votes
1 answer
asked Aug 12, 2020 in * TF "Vis. and Sci. Comp." by Anshu (870 points)
Imprint | Privacy Policy
...