Theory of computation. Magnus publications. Chapter 2. Qn. 2.6

Question

I'm having doubt with this. The dfa designed here accepts the string "b" which violates the condition in question. Also the trap state was given as q1. I thought the trap state was q2. Need your suggestions. 

Answer 1

• Language  is also gives string 'b'. And DFA also accept it .so how can it violates this ??

• Given DFA is right with q2 is trap state.

• 

   

Comments

Thanks a lot. I haven't noticed n>=0.