Задача

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

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

Строка может начинаться либо с 0, либо с 1. В первм случае далее должна следовать 1. Дальше для обоих вариантов должнав следовать еще одна единица, так как единицы могут распологаться минимум по две. Далее если продолжают поворяться единицы, состояние автомата не меняется, также это состояние является конечным, т.к. на минимум 2 единицы строка заканчиваться может, но если считается 0, он перейдет в следующее, тоже конченое, состояние, так как строка может заканчиваться на 10, если считается 1, произойдет возврат в состояние после "развилки" в начале, елси же 0, автомат перейдет в следующее состояние, оно не конечное, т.к. на 00 последовательность кончаться не может. При считывании 1 будет возврат, считывать 0 нельзя, т.к. три 0 подряд это неправильно.