Title of article :
Impartial games emulating one-dimensional cellular automata and undecidability
Author/Authors :
Larsson، نويسنده , , Urban، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2013
Pages :
15
From page :
1116
To page :
1130
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
Serial Year :
2013
Journal title :
Journal of Combinatorial Theory Series A
Record number :
1531904
Link To Document :
بازگشت