A formalization of membrane systems with dynamically evolving structures

DOI10.1080/00207160.2012.748899zbMath1321.68265OpenAlexW2002970138MaRDI QIDQ2852133

Rudolf Freund, Agustín Riscos-Núñez, Sergey Verlan, Ignacio Pérez-Hurtado

Publication date: 8 October 2013

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://idus.us.es/handle//11441/87865

zbMATH Keywords

dynamic structureP-systemsformal framework

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (6)

Going Beyond Turing with P Automata: Partial Adult Halting and Regular Observer $$\omega $$-Languages ⋮ Numerical networks of cells ⋮ A tutorial on the formal framework for spiking neural P systems ⋮ Kernel P Systems Modelling, Testing and Verification - Sorting Case Study ⋮ A formal framework for spiking neural P systems ⋮ Simulation challenges in membrane computing

Cites Work

• (Tissue) P systems working in the \(k\)-restricted minimally or maximally parallel transition mode
• A P-Lingua based simulator for tissue P systems
• Membrane computing. 10th international workshop, WMC 2009, Curtea de Arges, Romania, August 24--27, 2009. Revised selected and invited papers
• A Formal Framework for Static (Tissue) P Systems
• A P System Based Model of an Ecosystem of Some Scavenger Birds
• An Overview of P-Lingua 2.0

This page was built for publication: A formalization of membrane systems with dynamically evolving structures