کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4655463 1343385 2013 15 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Impartial games emulating one-dimensional cellular automata and undecidability
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات ریاضیات گسسته و ترکیبات
پیش نمایش صفحه اول مقاله
Impartial games emulating one-dimensional cellular automata and undecidability
چکیده انگلیسی

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.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Combinatorial Theory, Series A - Volume 120, Issue 5, July 2013, Pages 1116-1130