» גלריה » חידות לוגיות

Mějme vedle sebe řadu N robotických vojáků s generálem na jednom konci. Všichni vojáci se chovají jako konečné celulární automaty - tzn. mají vnitřní stav a v každém kroce svůj stav změní na základě přechodové funkce, která má jako parametry aktuální vnitřní stav svůj a obou nejbližších kolegů (u krajních vojáků pouze jeden kolega). Jednotlivé změny stavu se dějí v taktech a svůj stav změní všichni vojáci zároveň.
Všichni vojáci kromě generála jsou na začátku ve stejném počátečním stavu. Úkolem je navrhnout přechodovou funkci vojáků tak, aby byla pro všechny vojáky kromě krajních stejná a navíc způsobila, že všichni vojáci přejdou zároveň (a poprvé) do stavu střelba.