摘要:具有状态-符号对为(6, 2),(3, 3)和(2, 4)的小型通用图灵机。这些机器是弱通用的,这意味着它们在其输入的左侧有一个无限重复的单词,并在其右侧有另一个无限重复的单词。它们模拟Rule 110,并且目前是已知的最小的弱通用图灵机。
作者:Turlough Neary and Damien Woods
论文ID:0707.4489
分类:Computational Complexity
分类简称:cs.CC
提交时间:2007-08-01
PDF 下载: 英文版 中文版pdf翻译中