Partial halting in P systems using membrane rules with permitting contexts

Authors:
Artiom Alhazov;Rudolf Freund;Marion Oswald;Sergey Verlan
Affiliations:
Department of Information Technologies, Abo Akademi University, Turku Center for Computer Science, Turku, Finland and Institute of Mathematics and Computer Science, Academy of Sciences of Moldova, ...;Faculty of Informatics, Vienna University of Technology, Vienna, Austria;Faculty of Informatics, Vienna University of Technology, Vienna, Austria;LACL, Département Informatique, UFR Sciences et Technologie, Université Paris XII, Créteil, France
Venue:
MCU'07 Proceedings of the 5th international conference on Machines, computations, and universality
Year:
2007

Citing 14
Cited 3

Computing with membranes

Journal of Computer and System Sciences
Handbook of Formal Languages

Handbook of Formal Languages
Regulated Rewriting in Formal Language Theory

Regulated Rewriting in Formal Language Theory
Membrane Computing: An Introduction

Membrane Computing: An Introduction
The power of communication: P systems with symport/antiport

New Generation Computing
P Systems with Activated/Prohibited Membrane Channels

WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
P Systems with Boundary Rules

WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
Evolution-Communication P Systems

WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
Tissue P systems with channel states

Theoretical Computer Science - Insightful theory
Computation: finite and infinite machines

Computation: finite and infinite machines
On P Systems with Bounded Parallelism

SYNASC '05 Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
P systems with minimal parallelism

Theoretical Computer Science
Computational power of symport/antiport: history, advances, and open problems

WMC'05 Proceedings of the 6th international conference on Membrane Computing
Number of protons/bi-stable catalysts and membranes in p systems. time-freeness

WMC'05 Proceedings of the 6th international conference on Membrane Computing

Partial Halting and Minimal Parallelism Based on Arbitrary Rule Partitions

Fundamenta Informaticae - Machines, Computations and Universality, Part I
Transition and halting modes in (tissue) p systems

WMC'09 Proceedings of the 10th international conference on Membrane Computing
Partial Halting and Minimal Parallelism Based on Arbitrary Rule Partitions

Fundamenta Informaticae - Machines, Computations and Universality, Part I

Quantified Score

Hi-index	0.00

Visualization

Abstract

We consider a new variant of the halting condition in P systems, i.e., a computation in a P system is already called halting if not for all membranes a rule is applicable anymore at the same time, whereas usually a computation is called halting if no rule is applicable anymore in the whole system. This new variant of partial halting is especially investigated for several variants of P systems using membrane rules with permitting contexts and working in different derivation modes.