Complexity of index sets and translating functions

Article type: Research Article

Authors: Leitsch, Alexander

Abstract: The connection between index stes appearing in recursive enumerations of subrecursive classes and translating functions is investigated. Referring to a construction, which yields enumerations with low complexity for some index sets, we show that in such a case the complexity for some translating functions must be high. Furthermore a class of enumerations is discussed, which has elementary translating functions, but an important part of the index sets is not decidable by algorithms of the enumerated class (these index sets are of the form {x:ψx(a)=f(x)}).

Keywords: recursive enumerations of subrecursive classes, complexity of translating functions, complexity of index sets

DOI: 10.3233/FI-1980-3207

Journal: Fundamenta Informaticae, vol. 3, no. 2, pp. 181-188, 1980