Buscar
Mostrando ítems 1-10 de 33
Ponencia
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 ...
Ponencia
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 ...
Ponencia
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 ...
Ponencia
Polarizationless P Systems with One Active Membrane
(Fénix Editora, 2015)
The aim of this paper is to study the computational power of P systems with one active membrane without polarizations. For P systems with active membranes, it is known that computational completeness can be obtained with ...
Ponencia
Purely Catalytic P Systems over Integers and Their Generative Power
(Fénix, 2016)
We further investigate the computing power of the recently introduced P systems with Z-multisets (also known as hybrid sets) as generative devices. These systems apply catalytic rules in the maximally parallel way, even ...
Ponencia
Matter and Anti-Matter in Membrane Systems
(Fénix Editora, 2014)
The concept of a matter object being annihilated when meeting its corresponding anti-matter object is investigated in the context of membrane systems, i.e., of (distributed) multiset rewriting systems applying rules in ...
Ponencia
Input-Driven Tissue P Automata
(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 ...
Ponencia
Computational Completeness of P Systems Using Maximal Variants of the Set Derivation Mode
(Fénix, 2016)
We consider P systems only allowing rules to be used in at most one copy in each derivation step, especially the variant of the maximally parallel derivation mode where each rule may only be used at most once. Moreover, ...
Ponencia
Asynchronous and Maximally Parallel Deterministic Controlled Non-Cooperative P Systems Characterize NFIN coNFIN
(Fénix Editora, 2012)
Membrane systems (with symbol objects) are distributed controlled multiset processing systems. Non-cooperative P systems with either promoters or inhibitors (of weight not restricted to one) are known to be computationally ...
Ponencia
P Systems with Randomized Right-hand Sides of Rules
(Fenix Editora, 2017)
P systems are a model of hierarchically compartmentalized multiset rewriting. We introduce a novel kind of P systems in which rules are dynamically constructed in each step by non-deterministic pairing of left-hand and ...