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.