Complementation in the Turing degrees

1989 ◽  
Vol 54 (1) ◽  
pp. 160-176 ◽  
Author(s):  
Theodore A. Slaman ◽  
John R. Steel
Keyword(s):  
Turing Degrees ◽  
Open Problems ◽  
Recursively Enumerable

AbstractPosner [6] has shown, by a nonuniform proof, that every degree has a complement below 0′. We show that a 1-generic complement for each set of degree between 0 and 0′ can be found uniformly. Moreover, the methods just as easily can be used to produce a complement whose jump has the degree of any real recursively enumerable in and above ∅′. In the second half of the paper, we show that the complementation of the degrees below 0′ does not extend to all recursively enumerable degrees. Namely, there is a pair of recursively enumerable degrees a above b such that no degree strictly below a joins b above a. (This result is independently due to S. B. Cooper.) We end with some open problems.

PC GRAMMAR SYSTEMS WITH CLUSTERS OF COMPONENTS

2011 ◽  
Vol 22 (01) ◽  
pp. 203-212 ◽  
Author(s):  
ERZSÉBET CSUHAJ-VARJÚ ◽  
MARION OSWALD ◽  
GYÖRGY VASZIL
Keyword(s):  
Future Research ◽  
Open Problems ◽  
Recursively Enumerable Language ◽  
Recursively Enumerable ◽  
Enumerable Language ◽  
Grammar Systems ◽  
Context Free

We introduce PC grammar systems where the components form clusters and the query symbols refer to clusters not individual grammars, i.e., the addressee of the query is not precisely identified. We prove that if the same component replies to all queries issued to a cluster in a rewriting step, then non-returning PC grammar systems with 3 clusters and 7 context-free components are able to generate any recursively enumerable language. We also provide open problems and directions for future research.

COMPUTING WITH MEMBRANES (P SYSTEMS): A VARIANT

2000 ◽  
Vol 11 (01) ◽  
pp. 167-181 ◽  
Author(s):  
GHEORGHE PĂUN
Keyword(s):  
Membrane Computing ◽  
P Systems ◽  
Open Problems ◽  
Recursively Enumerable ◽  
Pass Through ◽  
The One ◽  
Priority Relation ◽  
Recursively Enumerable Languages ◽  
Biochemical Features ◽  
Computing Models

Membrane Computing is a recently introduced area of Molecular Computing, where a computation takes place in a membrane structure where multisets of objects evolve according to given rules (they can also pass through membranes). The obtained computing models were called P systems. In basic variants of P systems, the use of objects evolution rules is regulated by a given priority relation; moreover, each membrane has a label and one can send objects to precise membranes, identified by their labels. We propose here a variant where we get rid of both there rather artificial (non-biochemical) features. Instead, we add to membranes and to objects an "electrical charge" and the objects are passed through membranes according to their charge. We prove that such systems are able to characterize the one-letter recursively enumerable languages (equivalently, the recursively enumerable sets of natural numbers), providing that an extra feature is considered: the membranes can be made thicker or thinner (also dissolved) and the communication through a membrane is possible only when its thickness is equal to 1. Several open problems are formulated.

Some theorems on R-maximal sets and major subsets of recursively enumerable sets

1971 ◽  
Vol 36 (2) ◽  
pp. 193-215 ◽  
Author(s):  
Manuel Lerman
Keyword(s):  
Turing Degrees ◽  
Elementary Equivalence ◽  
Recursive Functions ◽  
Recursively Enumerable ◽  
Recursively Enumerable Sets ◽  
Nonstandard Models ◽  
Relational Systems ◽  
The Relationship ◽  
Models Of Arithmetic

In [5], we studied the relational systems /Ā obtained from the recursive functions of one variable by identifying two such functions if they are equal for all but finitely many х ∈ Ā, where Ā is an r-cohesive set. The relational systems /Ā with addition and multiplication defined pointwise on them, were once thought to be potential candidates for nonstandard models of arithmetic. This, however, turned out not to be the case, as was shown by Feferman, Scott, and Tennenbaum [1]. We showed, letting A and B be r-maximal sets, and letting denote the complement of X, that /Ā and are elementarily equivalent (/Ā ≡ ) if there are r-maximal supersets C and D of A and B respectively such that C and D have the same many-one degree (C =mD). In fact, if A and B are maximal sets, /Ā ≡ if, and only if, A =mB. We wish to study the relationship between the elementary equivalence of /Ā and , and the Turing degrees of A and B.

1-genericity in the enumeration degrees

1988 ◽  
Vol 53 (3) ◽  
pp. 878-887 ◽  
Author(s):  
Kate Copestake
Keyword(s):  
Partial Function ◽  
Partial Ordering ◽  
Turing Degree ◽  
Turing Degrees ◽  
Original Formulation ◽  
Partial Functions ◽  
Enumeration Degrees ◽  
Recursively Enumerable ◽  
Recursively Enumerable Sets ◽  
Generic Set

The structure of the Turing degrees of generic and n-generic sets has been studied fairly extensively, especially for n = 1 and n = 2. The original formulation of 1-generic set in terms of recursively enumerable sets of strings is due to D. Posner [11], and much work has since been done, particularly by C. G. Jockusch and C. T. Chong (see [5] and [6]).In the enumeration degrees (see definition below), attention has previously been restricted to generic sets and functions. J. Case used genericity for many of the results in his thesis [1]. In this paper we develop a notion of 1-generic partial function, and study the structure and characteristics of such functions in the enumeration degrees. We find that the e-degree of a 1-generic function is quasi-minimal. However, there are no e-degrees minimal in the 1-generic e-degrees, since if a 1-generic function is recursively split into finitely or infinitely many parts the resulting functions are e-independent (in the sense defined by K. McEvoy [8]) and 1-generic. This result also shows that any recursively enumerable partial ordering can be embedded below any 1-generic degree.Many results in the Turing degrees have direct parallels in the enumeration degrees. Applying the minimal Turing degree construction to the partial degrees (the e-degrees of partial functions) produces a total partial degree ae which is minimal-like; that is, all functions in degrees below ae have partial recursive extensions.

Contiguity and distributivity in the enumerable Turing degrees

1997 ◽  
Vol 62 (4) ◽  
pp. 1215-1240 ◽  
Author(s):  
Rodney G. Downey ◽  
Steffen Lempp
Keyword(s):  
Truth Table ◽  
Turing Degrees ◽  
Enumerable Degree ◽  
Recursively Enumerable ◽  
Recursively Enumerable Degree

AbstractWe prove that a (recursively) enumerable degree is contiguous iff it is locally distributive. This settles a twenty-year old question going back to Ladner and Sasso. We also prove that strong contiguity and contiguity coincide, settling a question of the first author, and prove that no m-topped degree is contiguous, settling a question of the first author and Carl Jockusch [11]. Finally, we prove some results concerning local distributivity and relativized weak truth table reducibility.

PARALLEL COMMUNICATING PUSHDOWN AUTOMATA SYSTEMS

2000 ◽  
Vol 11 (04) ◽  
pp. 631-650 ◽  
Author(s):  
ERZSÉBET CSUHAJ-VARJÚ ◽  
CARLOS MARTÍN-VIDE ◽  
VICTOR MITRANA ◽  
GYÖRGY VASZIL
Keyword(s):  
System Theory ◽  
Communication Strategy ◽  
Computational Power ◽  
Open Problems ◽  
Number Of Components ◽  
Grammar System ◽  
Bounded Number ◽  
Recursively Enumerable ◽  
Pushdown Automata ◽  
Recursively Enumerable Languages

We consider automata systems consisting of several pushdown automata working in parallel and communicating the contents of their stacks by request, using a communication strategy borrowed from grammar system theory. We investigate the computational power of these mechanisms. We prove that non-centralized parallel communicating pushdown automata systems with a bounded number of components, where each automaton is allowed to issue a query, are able to recognize all recursively enumerable languages. We also present homomorphical characterizations of the class of recursively enumerable languages for the centralized variants, where only a distinguished automaton issues queries. Moreover, we show that these centralized variants are at least as powerful as one-way multihead pushdown automata. Finally, some open problems and further directions of research are discussed.

Sign in / Sign up

Export Citation Format

Share Document