Построение конечный автомат, распознающий заданный язык

Построить конечный автомат, распознающий заданный язык. Реализовать его программно как генератор, так и распознаватель. На входе либо цепочка, либо количество символов; на выходе – либо сообщение о принадлежности цепочки языку, либо корректная цепочка.

индивидуальное задание

{ab^n | n∈N} ∪ {aba^n | n∈N}