Разработайте FA для принятия L, где L = Строки, в которых «а» всегда появляется втрое

Question

Разработка FA для принятия L, где L = {Строки, в которых 'a' всегда появляется в три раза} над входным набором Σ = {a, b}.

Это мое решение (A - начало состояние):

Из того, что я понимаю, вопрос не говорит, что он всегда должен содержать "a", он также должен принимать строки типа {b , бб, БББ}. Это правильно?

Answer 1

Ваше решение кажется мне правильным! Это действительно зависит от интерпретации вопроса. Я также интерпретировал, что a также могут быть разделены, если они всегда утроены.

abbabbbab следует принимать, поскольку a всегда утроены, входят в тройки.

Вы должны убедиться в этом! Я также делал эту FA в случае выше, но мое общее понимание вопроса было бы вашей интерпретацией, которая выглядит хорошо!