Задача

Припишем каждому, стоящему в очереди, «1» или «0», в зависимости от того, голосует .он «за» или «против». Известно, что рядом с каждым человеком (непосредственно впереди его в очереди или сзади) есть человек, голосующий «за». Постройте конечный автомат, распознающий все такие наборы из «0» и «1» или докажите, что это невозможно

Решение участника

Состояние S2 соответствует единице без соседа(другой 1). S5 состояние для строк из 1 длины больше 2. S4 строк из 0 длины 1, S6 длины 2. S3 состояние невозможных строк.