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

870 questions

988 answers


439 users

0 votes


I am not able to figure out why we have taken {{s0},{}} as displayed in right side? Because successor s0 is an acceptance state as displayed in left side. Is there a reason behind it for having such state?

Thanks in advance.

in * TF "Emb. Sys. and Rob." by (630 points)
edited by
I don't understand your question. Can you explain your doubt in more detail?
Hello Professor,
I want to know why we have {{s0},{ }} state ? My understanding is to consider successor state which are acceptance state in Qf. Here we have a successor s0 which is an acceptance state as well. It should also be in Qf.

1 Answer

0 votes
Best answer
Well, when computing the a-successor for ({s0,s2},{s0}), we have to check the a-transitions from states s0 and s2. There is no transition with input a from s0, and from s2, the there is one to state s0. Hence, we get suc∃({s0,s2},a) = {s0} and suc∃({s0},a) = {}, the intersection with the accepting states does not change that, and thus we get state ({s0},{}).
by (139k points)
selected by
Thanks for the explanation. It is clear now.
Imprint | Privacy Policy