scholarly journals On the Power of Small Size Insertion P Systems

2011 ◽  
Vol 6 (2) ◽  
pp. 266 ◽  
Author(s):  
Alexander Krassovitskiy
Keyword(s):  
P Systems ◽  
Computational Power ◽  
Recursively Enumerable Language ◽  
Recursively Enumerable ◽  
Enumerable Language ◽  
The Family ◽  
Context Free

In this article we investigate insertion systems of small size in the framework of P systems. We consider P systems with insertion rules having one symbol context and we show that they have the computational power of context-free matrix grammars. If contexts of length two are permitted, then any recursively enumerable language can be generated. In both cases a squeezing mechanism, an inverse morphism, and a weak coding are applied to the output of the corresponding P systems. We also show that if no membranes are used then corresponding family is equal to the family of context-free languages.

Scattered Context Grammars with One Non-Context-Free Production are Computationally Complete

2021 ◽  
Vol 179 (4) ◽  
pp. 361-384
Author(s):  
Zbyněk Křivka ◽  
Alexander Meduna
Keyword(s):  
Open Problem ◽  
Recursively Enumerable Language ◽  
Recursively Enumerable ◽  
Enumerable Language ◽  
Context Free

This paper investigates the reduction of scattered context grammars with respect to the number of non-context-free productions. It proves that every recursively enumerable language is generated by a scattered context grammar that has no more than one non-context-free production. An open problem is formulated.

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.

OPTIMAL RESULTS FOR THE COMPUTATIONAL COMPLETENESS OF GEMMATING (TISSUE) P SYSTEMS

2005 ◽  
Vol 16 (05) ◽  
pp. 929-942 ◽  
Author(s):  
RUDOLF FREUND ◽  
MARION OSWALD ◽  
ANDREI PĂUN
Keyword(s):  
Theoretical Model ◽  
General Model ◽  
P Systems ◽  
Optimal Result ◽  
Recursively Enumerable Language ◽  
Computational Completeness ◽  
Minimal Weight ◽  
Model Based ◽  
Recursively Enumerable ◽  
Enumerable Language

Gemmating P systems were introduced as a theoretical model based on the biological idea of the gemmation of mobile membranes. In the general model of extended gemmating P systems, strings are modified either by evolution rules in the membranes or while sending them to another membrane. We here consider the restricted variant of extended gemmating P systems with pre-dynamic rules where strings are only modified at the ends while sending them from one membrane to another one. In a series of papers the number of membranes being sufficient for obtaining computational completeness has steadily been decreased. In this paper we now prove the optimal result, i.e., gemmating P systems only using pre-dynamic rules are already computationally complete with three membranes, even in the non-extended case and with the minimal weight of rules possible. Moreover, we also show that for gemmating tissue P systems two cells suffice, and if we allow the environment to be fully involved in the communication of strings, even one cell together with the environment can manage the task to generate any recursively enumerable language.

scholarly journals On Derivation Languages of a Class of Splicing Systems

2018 ◽  
Vol 23 (4) ◽  
pp. 981-993 ◽  
Author(s):  
Kalpana Mahalingam ◽  
Prithwineel Paul ◽  
Erkki Mäkinen
Keyword(s):  
Chomsky Hierarchy ◽  
Recursively Enumerable ◽  
Enumerable Language ◽  
The Family ◽  
Finite Set ◽  
Morphic Image ◽  
And Control ◽  
Splicing Systems ◽  
Context Free ◽  
Free Language

Derivation languages are language theoretical tools that describe halting derivation processes of a generating device. We consider two types of derivation languages, namely Szilard and control languages for splicing systems where iterated splicing is done in non-uniform way defined by Mitrana, Petre and Rogojin in 2010. The families of Szilard (rules and labels are mapped in a one to one manner) and control (more than one rule can share the same label) languages generated by splicing systems of this type are then compared with the family of languages in the Chomsky hierarchy. We show that context-free languages can be generated as Szilard and control languages and any non-empty context-free language is a morphic image of the Szilard language of this type of system with finite set of rules and axioms. Moreover, we show that these systems with finite set of axioms and regular set of rules are capable of generating any recursively enumerable language as a control language.

Evolution-Communication Spiking Neural P Systems

2020 ◽  
pp. 2050064
Author(s):  
Tingfang Wu ◽  
Qiang Lyu ◽  
Linqiang Pan
Keyword(s):  
Parallel Computation ◽  
Fire Behavior ◽  
Information Storage ◽  
P Systems ◽  
Computational Power ◽  
Spiking Neural P Systems ◽  
Integrate And Fire ◽  
Restricted Form ◽  
The Family ◽  
Novel Variant

Spiking neural P systems (SNP systems) are a class of distributed and parallel computation models, which are inspired by the way in which neurons process information through spikes, where the integrate-and-fire behavior of neurons and the distribution of produced spikes are achieved by spiking rules. In this work, a novel mechanism for separately describing the integrate-and-fire behavior of neurons and the distribution of produced spikes, and a novel variant of the SNP systems, named evolution-communication SNP (ECSNP) systems, is proposed. More precisely, the integrate-and-fire behavior of neurons is achieved by spike-evolution rules, and the distribution of produced spikes is achieved by spike-communication rules. Then, the computational power of ECSNP systems is examined. It is demonstrated that ECSNP systems are Turing universal as number-generating devices. Furthermore, the computational power of ECSNP systems with a restricted form, i.e. the quantity of spikes in each neuron throughout a computation does not exceed some constant, is also investigated, and it is shown that such restricted ECSNP systems can only characterize the family of semilinear number sets. These results manifest that the capacity of neurons for information storage (i.e. the quantity of spikes) has a critical impact on the ECSNP systems to achieve a desired computational power.

VARIANTS OF COMPETENCE-BASED DERIVATIONS IN CD GRAMMAR SYSTEMS

2010 ◽  
Vol 21 (04) ◽  
pp. 549-569 ◽  
Author(s):  
ERZSÉBET CSUHAJ-VARJÚ ◽  
JÜRGEN DASSOW ◽  
GYÖRGY VASZIL
Keyword(s):  
Recursively Enumerable Language ◽  
Recursively Enumerable ◽  
Enumerable Language ◽  
Sentential Form ◽  
Grammar Systems ◽  
The Given

In this paper we introduce and study some new cooperation protocols for cooperating distributed (CD) grammar systems. These derivation modes depend on the number of different nonterminals present in the sentential form obtained when a component finished a derivation phase. This measure describes the competence of the grammar on the string (the competence is high if the number of the different nonterminals is small). It is also a measure of the efficiency of the grammar on the given string (a component is more efficient than another one if it is able to decrease the number of nonterminals in the string to a greater extent). We prove that if the underlying derivation mode is the t-mode derivation, then some variants of these systems determine the class of random context ET0L languages. If these CD grammar systems use the k step limited derivations as underlying derivation mode, then they are able to generate any recursively enumerable language.

scholarly journals REPRESENTATIONS AND CHARACTERIZATIONS OF LANGUAGES IN CHOMSKY HIERARCHY BY MEANS OF INSERTION-DELETION SYSTEMS

2008 ◽  
Vol 19 (04) ◽  
pp. 859-871 ◽  
Author(s):  
GHEORGHE PĂUN ◽  
MARIO J. PÉREZ-JIMÉNEZ ◽  
TAKASHI YOKOMORI
Keyword(s):  
Dna Computing ◽  
Research Direction ◽  
Regular Languages ◽  
Turing Computability ◽  
Chomsky Hierarchy ◽  
Recursively Enumerable ◽  
Enumerable Language ◽  
Language L ◽  
Context Free

Insertion-deletion operations are much investigated in linguistics and in DNA computing and several characterizations of Turing computability and characterizations or representations of languages in Chomsky hierarchy were obtained in this framework. In this note we contribute to this research direction with a new characterization of this type, as well as with representations of regular and context-free languages, mainly starting from context-free insertion systems of as small as possible complexity. For instance, each recursively enumerable language L can be represented in a way similar to the celebrated Chomsky-Schützenberger representation of context-free languages, i.e., in the form L = h(L(γ) ∩ D), where γ is an insertion system of weight (3, 0) (at most three symbols are inserted in a context of length zero), h is a projection, and D is a Dyck language. A similar representation can be obtained for regular languages, involving insertion systems of weight (2,0) and star languages, as well as for context-free languages – this time using insertion systems of weight (3, 0) and star languages.

PROBABILISTIC REWRITING P SYSTEMS

2003 ◽  
Vol 14 (01) ◽  
pp. 157-166 ◽  
Author(s):  
MUTYAM MADHU
Keyword(s):  
P Systems ◽  
Cut Point ◽  
Recursively Enumerable ◽  
The Family ◽  
Rewriting Rules ◽  
Recursively Enumerable Languages ◽  
Selection Of

In this paper we define a variant of P systems, namely, probabilistic rewriting P systems, where the selection of rewriting rules is probabilistic. We show that, with non-zero cut-point, probabilistic rewriting P systems with/without priorities generate only finite languages, but with zero cut/point and without priorities, probabilistic rewriting P systems of degree 1 characterize the family of languages generated by matrix grammars. We also prove that probabilistic rewriting P systems of degree 1 with zero cut-point and priorities characterize recursively enumerable languages.

scholarly journals Sequential Spiking Neural P Systems with Local Scheduled Synapses without Delay

Complexity ◽  
2019 ◽  
Vol 2019 ◽  
pp. 1-12 ◽  
Author(s):  
Alia Bibi ◽  
Fei Xu ◽  
Henry N. Adorna ◽  
Francis George C. Cabarle
Keyword(s):  
Computational Models ◽  
P Systems ◽  
Dynamic Graphs ◽  
Computational Power ◽  
Spiking Neural P Systems ◽  
Graphs And Networks ◽  
The Family ◽  
Minimum Number ◽  
Sequential Mode ◽  
Maximum Minimum

Spiking neural P systems with scheduled synapses are a class of distributed and parallel computational models motivated by the structural dynamism of biological synapses by incorporating ideas from nonstatic (i.e., dynamic) graphs and networks. In this work, we consider the family of spiking neural P systems with scheduled synapses working in the sequential mode: at each step the neuron(s) with the maximum/minimum number of spikes among the neurons that can spike will fire. The computational power of spiking neural P systems with scheduled synapses working in the sequential mode is investigated. Specifically, the universality (Turing equivalence) of such systems is obtained.

On the size complexity of universal accepting hybrid networks of evolutionary processors

2007 ◽  
Vol 17 (4) ◽  
pp. 753-771 ◽  
Author(s):  
FLORIN MANEA ◽  
CARLOS MARTIN-VIDE ◽  
VICTOR MITRANA
Keyword(s):  
Point Of View ◽  
Hybrid Networks ◽  
Underlying Structure ◽  
Recursively Enumerable Language ◽  
Practical Point ◽  
Computing Model ◽  
Recursively Enumerable ◽  
First Case ◽  
Enumerable Language ◽  
The Given

In this paper we discuss the following interesting question about accepting hybrid networks of evolutionary processors (AHNEP), which are a recently introduced bio-inspired computing model. The question is: how many processors are required in such a network to recognise a given language L? Two answers are proposed for the most general case, when L is a recursively enumerable language, and both answers improve on the previously known bounds. In the first case the network has a number of processors that is linearly bounded by the cardinality of the tape alphabet of a Turing machine recognising the given language L. In the second case we show that an AHNEP with a fixed underlying structure can accept any recursively enumerable language. The second construction has another useful property from a practical point of view as it includes a universal AHNEP as a subnetwork, and hence only a limited number of its parameters depend on the given language.

Sign in / Sign up

Export Citation Format

Share Document