Задача

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

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

Очевидно, цепочки вида (1)* разрешены. Цепочки видов 0* и (01)* запрещены. Кроме того, подряд не может идти более двух 0.