Murphy, Niall and Woods, Damien (2007) Active membrane systems without charges and using only symmetric elementary division characterise P. In: Membrane Computing. International Workshop WMC9. Springer Berlin / Heidelberg, pp. 367-384. ISBN 978-3540958840

Preview

Download (328kB) | Preview

Abstract

In this paper we introduce a variant of membrane systems with elementary division and without charges. We allow only elementary division where the resulting membranes are identical; we refer to this using the biological term symmetric division. We prove that this model characterises P and introduce logspace uniform families. This result characterises the power of a class of membrane systems that fall under the so-called P conjecture for membrane systems.

Item Type:	Book Section
Keywords:	Active Membrane Systems; Without Charges; Using Only; Symmetric Elementary Division; Characterise P;
Academic Unit:	Faculty of Science and Engineering > Computer Science Faculty of Science and Engineering > Research Institutes > Hamilton Institute
Item ID:	15734
Depositing User:	Damien Woods
Date Deposited:	28 Mar 2022 10:50
Publisher:	Springer Berlin / Heidelberg
Refereed:	Yes
URI:	Publisher
Use Licence:	This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available here

Repository Staff Only(login required)

Item control page

Downloads

Origin of downloads