递归可枚举集元素的通常序与枚举序之间的关系
形式语言与自动机理论
2010-02-03 v1 计算复杂性
逻辑
摘要
在本文中，我们基于图灵机对递归可枚举集的枚举序进行了比较。据此，我们定义了图灵机和递归可枚举集的新概念——均匀性，并研究了均匀性与一可归约性和图灵可归约性之间的一些关系。此外，我们定义了第二类均匀性概念，并基于此概念研究了递归可枚举集和图灵机。最后，我们引入了一种称为图灵输出二叉搜索树的新结构，它有助于阐明一些想法。
引用
@article{arxiv.0904.3607,
title = {Relation between the Usual Order and the Enumeration Orders of Elements of r.e. Sets},
author = {Ali Akbar Safilian and Farzad Didehvar},
journal= {arXiv preprint arXiv:0904.3607},
year = {2010}
}
备注
15 pages; submitted to Mathematical Logic Quarterly