Topic
Recursively enumerable language
About: Recursively enumerable language is a research topic. Over the lifetime, 1508 publications have been published within this topic receiving 32382 citations.
Papers published on a yearly basis
Papers
More filters
22 Aug 1995
TL;DR: This paper gives natural combinatorial characterizations of the fundamental inclusion problem, namely the question for which choices of the parameters m, n, m′, n′, every (m, n)-recursive set is (m′- n′-recursive).
Abstract: The notion of frequency computation concerns approximative computations of n distinct parallel queries to a set A. A is called (m, n)-recursive if there is an algorithm which answers any n distinct parallel queries to A such that at least m answers are correct. This paper gives natural combinatorial characterizations of the fundamental inclusion problem, namely the question for which choices of the parameters m, n, m′, n′, every (m, n)-recursive set is (m′, n′)-recursive. We also characterize the inclusion problem restricted to recursively enumerable sets and the inclusion problem for the polynomial-time bounded version of frequency computation. Furthermore, using these characterizations we obtain many explicit inclusions and noninclusions.
10 citations
TL;DR: This work gives an insightful algorithmic description of this kind of systems, where any recursively enumerable language can be generated using a distributed splicing system with a fixed number of nine test tubes.
10 citations
[...]
TL;DR: It is shown that any recursively enumerable language can be obtained as the language accepted by a P"p"p automaton modulo a simple computable mapping.
10 citations
TL;DR: It is shown that a simultaneous enumeration of the recursively enumerable sets can be achieved by a predicate of the same form.
Abstract: It is known [1] p. 312 that a simultaneous enumeration of the recursively enumerable sets can be achieved by a Σ 1 0 -predicate. We shall show that a simultaneous enumeration of the recursive sets can be achieved by a predicate of the same form.
10 citations