Title of article :
Impartial games emulating one-dimensional cellular automata and undecidability
Author/Authors :
Larsson، نويسنده , , Urban، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2013
Abstract :
We study two-player impartial games whose outcomes emulate two-state one-dimensional cellular automata, such as Wolframʼs rules 60 and 110. Given an initial string consisting of a central data pattern and periodic left and right patterns, the rule 110 cellular automaton was recently proved Turing-complete by Matthew Cook. Hence, many questions regarding its behavior are algorithmically undecidable. We show that similar questions are undecidable for our rule 110 games.
Keywords :
Cellular automaton , Impartial game , Rule 110 , Take-away game , undecidability
Journal title :
Journal of Combinatorial Theory Series A
Journal title :
Journal of Combinatorial Theory Series A