Deciding acceptance states after subset construction-vrs

Question

Hello,

I want to ask a question about the exam on 12 February 2025.

Above why we didn’t include the initial state {s0,s2} as an acceptance state? According to the below slide, if one of the accepting state is included in the subset constructed state, then this state is also an acceptance state.

Thanks in advance.

Answer 1

It seems that this is a mistake! Clearly, all superstates that contain s0 or s1 are accepting, so all states except for q6 must be accepting.

Thanks for pointing this out, it has been corrected in the solution file.