盖尔定理在构造维度上足够

摘要:超过马丁格尔的广义超级马丁格尔已经被Lutz(2002)用于定义个体二进制序列的建设尺寸。这里将展示出,对应的超级盖尔也可以被用来等价地定义建设尺寸。

作者:John M. Hitchcock

论文ID:cs/0208043

分类:Computational Complexity

分类简称:cs.CC

提交时间:2007-05-23

PDF 下载: 英文版 中文版pdf翻译中