scholarly journals A homomorphic characterization of recursively enumerable languages

1985 ◽  
Vol 35 ◽  
pp. 261-269 ◽  
Author(s):  
Sadaki Hirose ◽  
Satoshi Okawa ◽  
Masaaki Yoneda
Keyword(s):  
Recursively Enumerable ◽  
Recursively Enumerable Languages

ON THE LEFTMOST DERVIATION IN MATRIX GRAMMARS

1999 ◽  
Vol 10 (01) ◽  
pp. 61-79 ◽  
Author(s):  
JÜRGEN DASSOW ◽  
HENNING FERNAU ◽  
GHEORGHE PĂUN
Keyword(s):  
Systematic Study ◽  
Regular Language ◽  
Formal Languages ◽  
Open Problems ◽  
Recursively Enumerable ◽  
Leftmost Derivation ◽  
Context Free ◽  
Recursively Enumerable Languages ◽  
Context Free Grammars

Matrix grammars are one of the classical topics of formal languages, more specifically, regulated rewriting. Although this type of control on the work of context-free grammars is one of the earliest, matrix grammars still raise interesting questions (not to speak about old open problems in this area). One such class of problems concerns the leftmost derivation (in grammars without appearance checking). The main point of this paper is the systematic study of all possibilities of defining leftmost derivation in matrix grammars. Twelve types of such a restriction are defined, only four of which being discussed in literature. For seven of them, we find a proof of a characterization of recursively enumerable languages (by matrix grammars with arbitrary context-free rules but without appearance checking). Other three cases characterize the recursively enumerable languages modulo a morphism and an intersection with a regular language. In this way, we solve nearly all problems listed as open on page 67 of the monograph [7], which can be seen as the main contribution of this paper. Moreover, we find a characterization of the recursively enumerable languages for matrix grammars with the leftmost restriction defined on classes of a given partition of the nonterminal alphabet.

CD GRAMMAR SYSTEMS WITH REGULAR START CONDITIONS

2008 ◽  
Vol 19 (04) ◽  
pp. 767-779
Author(s):  
RUDOLF FREUND ◽  
MARION OSWALD
Keyword(s):  
Finite Index ◽  
Hybrid Mode ◽  
Computational Completeness ◽  
Recursively Enumerable ◽  
The Family ◽  
Grammar Systems ◽  
Regular Sets ◽  
Classical Derivation ◽  
Recursively Enumerable Languages

We consider cooperating distributed grammar systems with the components working in different derivation modes as well as with regular sets as additional start conditions for the components. With the classical derivation modes ≤ k and = k as well as with the internally hybrid mode (≥ ℓ∧ ≤ k) we obtain a characterization of the family of recursively enumerable languages even with only one component, with the derivation modes *, t, and ≥ k as well as with the internally hybrid mode (t∧ ≥ k) two components working in the same mode and only one common regular set for both components yield computational completeness. For the internally hybrid modes (t∧ ≤ k) and (t∧ = k) we only obtain languages of finite index, but combining one component working in one of these modes (t∧ ≤ k) and (t∧ = k) with a component working in one of the modes * and ≥ k we again obtain a characterization of the family of recursively enumerable languages.

Minimal degrees and the jump operator

1973 ◽  
Vol 38 (2) ◽  
pp. 249-271 ◽  
Author(s):  
S. B. Cooper
Keyword(s):  
Minimal Degree ◽  
Partial Ordering ◽  
Jump Operator ◽  
Upper Semilattice ◽  
Recursively Enumerable ◽  
Original Number ◽  
Nonzero Degree ◽  
The Relationship ◽  
Degrees Of Unsolvability

The jump a′ of a degree a is defined to be the largest degree recursively enumerable in a in the upper semilattice of degrees of unsolvability. We examine below some of the ways in which the jump operation is related to the partial ordering of the degrees. Fried berg [3] showed that the equation a = x′ is solvable if and only if a ≥ 0′. Sacks [13] showed that we can find a solution of a = x′ which is ≤ 0′ (and in fact is r.e.) if and only if a ≥ 0′ and is r.e. in 0′. Spector [16] constructed a minimal degree and Sacks [13] constructed one ≤ 0′. So far the only result concerning the relationship between minimal degrees and the jump operator is one due to Yates [17] who showed that there is a minimal predecessor for each non-recursive r.e. degree, and hence that there is a minimal degree with jump 0′. In §1, we obtain an analogue of Friedberg's theorem by constructing a minimal degree solution for a = x′ whenever a ≥ 0′. We incorporate Friedberg5s original number-theoretic device with a complicated sequence of approximations to the nest of trees necessary for the construction of a minimal degree. The proof of Theorem 1 is a revision of an earlier, shorter presentation, and incorporates many additions and modifications suggested by R. Epstein. In §2, we show that any hope for a result analogous to that of Sacks on the jumps of r.e. degrees cannot be fulfilled since 0″ is not the jump of any minimal degree below 0′. We use a characterization of the degrees below 0′ with jump 0″ similar to that found for r.e. degrees with jump 0′ by R. W. Robinson [12]. Finally, in §3, we give a proof that every degree a ≤ 0′ with a′ = 0″ has a minimal predecessor. Yates [17] has already shown that every nonzero r.e. degree has a minimal predecessor, but that there is a nonzero degree ≤ 0′ with no minimal predecessor (see [18]; or for the original unrelativized result see [10] or [4]).

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.

scholarly journals Representing recursively enumerable languages by iterated deletion

2004 ◽  
Vol 314 (3) ◽  
pp. 451-457 ◽  
Author(s):  
Michael Domaratzki ◽  
Alexander Okhotin
Keyword(s):  
Recursively Enumerable ◽  
Recursively Enumerable Languages

Probabilistic Semi–Simple Splicing System and Its Characteristics

2013 ◽  
Vol 62 (3) ◽  
Author(s):  
Mathuri Selvarajoo ◽  
Fong Wan Heng ◽  
Nor Haniza Sarmin ◽  
Sherzod Turaev
Keyword(s):  
Regular Languages ◽  
Computational Power ◽  
Dna Molecules ◽  
Finite Sets ◽  
Generative Power ◽  
Recursively Enumerable ◽  
Splicing Systems ◽  
Recursively Enumerable Languages

The concept of splicing system was first introduced by Head in 1987. This model has been introduced to investigate the recombinant behavior of DNA molecules. Splicing systems with finite sets of axioms only generate regular languages. Hence, different restrictions have been considered to increase the computational power up to the recursively enumerable languages. Recently, probabilistic splicing systems have been introduced where probabilities are initially associated with the axioms, and the probability of a generated string is computed by multiplying the probabilities of all occurrences of the initial strings in the computation of the string. In this paper, some properties of probabilistic semi-simple splicing systems, which are special types of probabilistic splicing systems, are investigated. We prove that probabilistic semi-simple splicing systems can also increase the generative power of the generated languages.

Sign in / Sign up

Export Citation Format

Share Document