Задача

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

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

Сразу переходим в состояние s4, чтобы оценивать сразу 2-й символ, который обязан быть 1. В состоянии s1 зацикливаемся, пока есть 1, иначе переходим в s3. Если встретился 2-й 0, переходим в s4, из которого выходим только при 1, иначе отправляемся в зацикленный s2.