задание по теории конечных автоматов

Имеется задание по теории конечных автоматов. Сможете ли с ним помочь? Задание вот такое: Реализовать конечные автоматы для булевых функций ∨n, ∧n, ⊕n: Разные варианты: – автомат принимает только слова длины n. Контролировать длину слова. – автомат принимает слова любой длины

Методичек и примеров, к сожалению, нет. Имеется лишь мой собственный взгляд на план работ по данным задачам, а именно: - теоретически описать задачи, - построить таблицы и диаграммы конечных состояний - написать программный код на любом удобном языке.