Relation between the Usual Order and the Enumeration Orders of Elements of r.e. Sets
Formal Languages and Automata Theory
2010-02-03 v1 Computational Complexity
Logic
Abstract
In this paper, we have compared r.e. sets based on their enumeration orders with Turing machines. Accordingly, we have defined novel concept uniformity for Turing machines and r.e. sets and have studied some relationships between uniformity and both one-reducibility and Turing reducibility. Furthermore, we have defined type-2 uniformity concept and studied r.e. sets and Turing machines based on this concept. In the end, we have introduced a new structure called Turing Output Binary Search Tree that helps us lighten some ideas.
Keywords
Cite
@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}
}
Comments
15 pages; submitted to Mathematical Logic Quarterly