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.

Improved Descriptional Complexity Results for Simple Semi-Conditional Grammars

2021 ◽  
Vol 181 (2-3) ◽  
pp. 189-211
Author(s):  
Henning Fernau ◽  
Lakshmanan Kuppusamy ◽  
Rufus O. Oladele ◽  
Indhumathi Raman
Keyword(s):  
Normal Form ◽  
Maximum Length ◽  
Complexity Measures ◽  
Recursively Enumerable Language ◽  
Computational Completeness ◽  
Descriptional Complexity ◽  
Recursively Enumerable ◽  
Rewriting System ◽  
Complexity Results ◽  
Enumerable Language

A simple semi-conditional (SSC) grammar is a form of regulated rewriting system where the derivations are controlled either by a permitting string alone or by a forbidden string alone and this condition is specified in the rule. The maximum length i (j, resp.) of the permitting (forbidden, resp.) strings serves as a measure of descriptional complexity known as the degree of such grammars. In addition to the degree, the numbers of nonterminals and of conditional rules are also counted into the descriptional complexity measures of these grammars. We improve on some previously obtained results on the computational completeness of SSC grammars by minimizing the number of nonterminals and / or the number of conditional rules for a given degree (i, j). More specifically we prove, using a refined analysis of a normal form for type-0 grammars due to Geffert, that every recursively enumerable language is generated by an SSC grammar of (i) degree (2, 1) with eight conditional rules and nine nonterminals, (ii) degree (3, 1) with seven conditional rules and seven nonterminals (iii) degree (4, 1) with six conditional rules and seven nonterminals and (iv) degree (4, 1) with eight conditional rules and six nonterminals.

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.

scholarly journals When catalytic P systems with one catalyst can be computationally complete

2021 ◽  
Author(s):  
Artiom Alhazov ◽  
Rudolf Freund ◽  
Sergiu Ivanov
Keyword(s):  
Computational Complexity ◽  
P Systems ◽  
Membrane Systems ◽  
Computational Completeness ◽  
Recursively Enumerable ◽  
Recursively Enumerable Sets

AbstractCatalytic P systems are among the first variants of membrane systems ever considered in this area. This variant of systems also features some prominent computational complexity questions, and in particular the problem of using only one catalyst in the whole system: is one catalyst enough to allow for generating all recursively enumerable sets of multisets? Several additional ingredients have been shown to be sufficient for obtaining computational completeness even with only one catalyst. In this paper, we show that one catalyst is sufficient for obtaining computational completeness if either catalytic rules have weak priority over non-catalytic rules or else instead of the standard maximally parallel derivation mode, we use the derivation mode maxobjects, i.e., we only take those multisets of rules which affect the maximal number of objects in the underlying configuration.

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.

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.

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.

scholarly journals Variants of derivation modes for which catalytic P systems with one catalyst are computationally complete

2021 ◽  
Author(s):  
Artiom Alhazov ◽  
Rudolf Freund ◽  
Sergiu Ivanov ◽  
Sergey Verlan
Keyword(s):  
Computational Complexity ◽  
P Systems ◽  
P System ◽  
Membrane Systems ◽  
Energy Control ◽  
Computational Completeness ◽  
Current Configuration ◽  
Recursively Enumerable ◽  
Completeness Result ◽  
Recursively Enumerable Sets

AbstractCatalytic P systems are among the first variants of membrane systems ever considered in this area. This variant of systems also features some prominent computational complexity questions, and in particular the problem of using only one catalyst: is one catalyst enough to allow for generating all recursively enumerable sets of multisets? Several additional ingredients have been shown to be sufficient for obtaining even computational completeness with only one catalyst. Last year we could show that the derivation mode $$max_{objects}$$ m a x objects , where we only take those multisets of rules which affect the maximal number of objects in the underlying configuration one catalyst is sufficient for obtaining computational completeness without any other ingredients. In this paper we follow this way of research and show that one catalyst is also sufficient for obtaining computational completeness when using specific variants of derivation modes based on non-extendable multisets of rules: we only take those non-extendable multisets whose application yields the maximal number of generated objects or else those non-extendable multisets whose application yields the maximal difference in the number of objects between the newly generated configuration and the current configuration. A similar computational completeness result can even be obtained when omitting the condition of non-extendability of the applied multisets when taking the maximal difference of objects or the maximal number of generated objects. Moreover, we reconsider simple P system with energy control—both symbol and rule energy-controlled P systems equipped with these new variants of derivation modes yield computational completeness.

CELL/SYMBOL COMPLEXITY OF TISSUE P SYSTEMS WITH SYMPORT/ANTIPORT RULES

2006 ◽  
Vol 17 (01) ◽  
pp. 3-25 ◽  
Author(s):  
ARTIOM ALHAZOV ◽  
RUDOLF FREUND ◽  
MARION OSWALD
Keyword(s):  
P Systems ◽  
Computational Power ◽  
Natural Numbers ◽  
Recursively Enumerable Set ◽  
Trade Off ◽  
Computational Completeness ◽  
Recursively Enumerable ◽  
A Cell ◽  
Regular Sets ◽  
Number Of Cells

We consider tissue P systems with symport/antiport rules and investigate their computational power when using only a (very) small number of symbols and cells. Even when using only one symbol, we need at most six (seven when allowing only one channel between a cell and the environment) cells to generate any recursively enumerable set of natural numbers. On the other hand, with only one cell we can only generate regular sets when using one channel with the environment, whereas one cell with two channels between the cell and the environment obtains computational completeness with five symbols. Between these extreme cases of one symbol and one cell, respectively, there seems to be a trade-off between the number of cells and the number of symbols. For example, for the case of tissue P systems with two channels between a cell and the environment we show that computational completeness can be obtained with two cells and three symbols as well as with three cells and two symbols, respectively. Moreover, we also show that some variants of tissue P systems characterize the families of finite or regular sets of natural numbers.

Sign in / Sign up

Export Citation Format

Share Document