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

557 users

0 votes

Exam: 2018-02.18 - why are we adding extra state s4 in acceptance state? I am not able to understand the reason?

Why we have only one acceptance state, why are we not considering states which atleast contain one of the state s0 or s1?

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

1 Answer

0 votes
It is actually the exam of 2018-02-14, problem 6c (please make this more precise in future questions; it takes time to find the exercise problems otherwise).

The mentioned state s4 is actually the state s1' introduced in part a). It seems that it had been renamed to use the teaching tool; I will rename it to s1' for better understanding.

The exercise instructs you to apply the Rabin-Scott construction to the automaton obtained in part a). It does not say that this automaton is equivalent or whatever. So, just applying the Rabin-Scott construction you obtain the above automaton. The automaton of part a) had as single accepting state s1' (or s4) and that leads to the above solution.
by (170k points)
Sure, next time onwards I will properly mention the location and details of the question. Thank you so much. I understood now.
Can you please also explain how we are getting an answer of (a) part of the same question? It was my doubt too, I am not able to understand the reason given in the solution. Question is 6(a) and the link of paper is: https://es.cs.uni-kl.de/teaching/vrs/exams/2018.02.14.vrs/2018.02.14.vrs.solutions.pdf
How we are getting Liveness automata from co-buchi?

Related questions

0 votes
1 answer
asked Aug 17, 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)
0 votes
1 answer
asked Aug 11, 2020 in * TF "Vis. and Sci. Comp." by Anshu (870 points)
0 votes
1 answer
Imprint | Privacy Policy
...