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