Построение конечного автомата – распознавателя для заданного регулярного множества

Пример

Задание

Построить конечный автомат (КА –распознаватель) для распознания регулярного множества цепочек трехсимвольного алфавита: «Правильная цепочка содержит не более одного символа «с», начинается на «ba» и символы «a» приходят только парами.»