Построить конечный автомат

Здравствуйте, пытаюсь построить конечный автрмат, который бы распознавал только те последовательности, которые имеют парное число букв а и не парное число букв б.

Уже пол часа бьюсь над ним, но продвижение нет