细胞自动机极限集的 Turing 度
形式语言与自动机理论
2014-02-18 v1 元胞自动机与格子气
摘要
细胞自动机是离散动力系统和一种计算模型。细胞自动机的极限集由具有无限前像序列的构型组成。众所周知，这些集合总是包含一个可计算点，且关于它们的任何非平凡性质都是不可判定的。本文在此基础上更进一步，给出了细胞自动机 Turing 度集的完整刻画：它们与包含可计算点的有效闭集的 Turing 度集相同。
引用
@article{arxiv.1402.3766,
title = {Turing degrees of limit sets of cellular automata},
author = {Alex Borello and Julien Cervelle and Pascal Vanier},
journal= {arXiv preprint arXiv:1402.3766},
year = {2014}
}