Search
Now showing items 1-10 of 45
Input-Driven Tissue P Automata [Presentation]
(Universidad de Sevilla, Escuela Técnica Superior de Ingeniería Informática, 2018)
We introduce several variants of input-driven tissue P automata where the rules to be applied only depend on the input symbol. Both strings and multisets are considered as input objects; the strings are either read from ...
One-Membrane P Systems with Activation and Blocking of Rules [Presentation]
(Universidad de Sevilla, Escuela Técnica Superior de Ingeniería Informática, 2018)
We introduce new possibilities to control the application of rules based on the preceding applications, which can be de ned in a general way for (hierarchical) P systems and the main known derivation modes. Computational ...
Further Remarks on P Systems with Active Membranes, Separation, Merging, and Release Rules [Presentation]
(Fénix Editora, 2004)
The P systems are a class of distributed parallel computing devices of a biochemical type. In this note, we show that by using membrane separation to obtain exponential workspace, SAT problem can be solved in linear ...
Uniform Solution to QSAT Using Polarizationless Active Membranes [Presentation]
(Fénix Editora, 2006)
It is known that the satisfiability problem (SAT) can be solved a semi- uniform family of deterministic polarizationless P systems with active membranes with non-elementary membrane division. We present a double improvement ...
(Ultimately Confluent) Parallel Multiset-Rewriting Systems with Context [Presentation]
(Fénix Editora, 2004)
The aim of this paper is to study the power of parallel multiset- rewriting systems with permitting context (or P systems with non-cooperative rules with promoters). The main result obtained is that if we use promoters of ...
Membrane Operations in P Systems with Active Membranes [Presentation]
(Fénix Editora, 2004)
In this paper we de¯ne a general class of P systems covering some biological operations with membranes, including evolution, communication, modifying the membrane structure, and we describe and formally specify some of ...
On the Power of Deterministic EC P Systems [Presentation]
(Fénix Editora, 2004)
It is commonly believed that a signi¯cant part of the computational power of membrane systems comes from their inherent non-determinism. Re- cently, R. Freund and Gh. P¸aun have considered deterministic P systems, ...
A Note on P Systems with Activators [Presentation]
(Fénix Editora, 2004)
The usual assumption in P systems behavior is that of maximal parallelism, however in living cells it is not the case because they have a limited number of enzymes. The aim of this paper is to try to merge these ideas ...
P Systems with One Membrane and Symport/Antiport Rules of Five Symbols Are Computationally Complete [Presentation]
(Fénix Editora, 2005)
We consider P systems with only one membrane using symport/antiport rules and prove that any recursively enumerable set of k-dimensional vectors of natural numbers can be generated (accepted) by using at most k + 4 ...
Encodings and Arithmetic Operations in P Systems [Presentation]
(Fénix Editora, 2006)
Following, we present in this paper various number encodings and operations over multisets. We obtain the most compact encoding and several other interesting encodings and study their properties using elements of combinatorics ...