小型弱通用图灵机
计算复杂性
2007-08-01 v1
摘要
我们给出了状态 - 符号对分别为 (6, 2)、(3, 3) 和 (2, 4) 的小型通用图灵机。这些机器是弱通用的,意味着其输入左侧和右侧均有一个无限重复的单词。它们模拟 Rule 110,并且是目前已知最小的弱通用图灵机。
引用
@article{arxiv.0707.4489,
title = {Small weakly universal Turing machines},
author = {Turlough Neary and Damien Woods},
journal= {arXiv preprint arXiv:0707.4489},
year = {2007}
}