Search
Now showing items 1-10 of 49
Presentation

P Systems with Active Membranes and Two Polarizations
(Fénix Editora, 2004)
P systems with active membranes using only two electrical charges and only rules of types (a) and (c) assigned to at most two membranes are shown to be computationally complete { thus improving the previous result of ...
Presentation

Evolution-Communication P Systems: Time-Freeness
(Fénix Editora, 2005)
Membrane computing is a (biologically motivated) theoretical framework of distributed parallel computing. If symbol-objects are considered, then membrane sys- tems (also called P systems) are distributed multiset processing ...
Presentation

Beyond Generalized Multiplicities: Register Machines over Groups
(Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
Register machines are a classic model of computing, often seen as a canonical example of a device manipulating natural numbers. In this paper, we de ne register machines operating on general groups instead. This ...
Presentation

(Tissue) P Systems with Anti-Membranes
(Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
The concept of a matter object being annihilated when meeting its corresponding anti-matter object is taken over for membranes as objects and anti-membranes as the corresponding annihilation counterpart in P systems. ...
Presentation

Uniform Solution to QSAT Using Polarizationless Active Membranes
(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 ...
Presentation

Self-Stabilization in Membrane Systems
(Fénix Editora, 2012)
In this paper we study a notion of self-stabilization, inspired from biology and engineering. Multiple variants of formalization of this notion are considered, and we discuss how such properties affect the computational ...
Presentation

Variants of P Systems with Toxic Objects
(Fénix Editora, 2015)
Toxic objects have been introduced to avoid trap rules, especially in (purely) catalytic P systems. No toxic object is allowed to stay idle during a valid derivation in a P system with toxic objects. In this paper we ...
Presentation

A Short Note on Reversibility in P Systems
(Fénix Editora, 2009)
Membrane computing is a formal framework of distributed parallel comput- ing. In this paper we study the reversibility and maximal parallelism of P systems from the computability point of view. The notions of reversible ...
Presentation

Deterministic Non-cooperative P Systems with Strong Context Conditions
(Fénix Editora, 2015)
We continue the line of research of deterministic parallel non-cooperative multiset rewriting with control. We here generalize control, i.e., rule applicability context conditions, from promoters and inhibitors checking ...
Presentation

Length P Systems with a Lone Traveler
(Fénix Editora, 2014)
In this paper we consider P systems with linear membrane structures (only one membrane is elementary) with at most one object. We raise and attack the question about the computational power of such systems, depending on ...