Нет, предложенное вами решение неверно;вы видите, что построенная вами dfa может принять (иначе неприемлемую) строку «aac», что означает, что вы не можете объединять состояния (11,15,17) и (15,17).
Lookingв исходном DFA я не могу придумать никакого решения с менее чем 6 состояниями;но опять же это ничего не значит;).