Murphy, Niall and Woods, Damien
A characterisation of NL using membrane
systems without charges and dissolution.
Technical Report NUIM-CS-TR-2008-01, National University of Ireland Maynooth.
We apply techniques from complexity theory to a model of
biological cellular membranes known as membrane systems or P-systems.
Like circuits, membrane systems are dened as uniform families. To
date, polynomial time uniformity was the accepted uniformity notion
for membrane systems. Here, we introduce the idea of using AC0 and L
uniformities and investigate the computational power of membrane systems
under these tighter conditions. It turns out that the computational
power of some systems is lowered from P to NL, so it seems that our
tighter uniformities are more reasonable for these systems. Interestingly,
other systems that are known to be lower bounded by P are shown to
retain their computational power under the new uniformity conditions.
Similarly, a number of membrane systems that are lower bounded by
PSPACE retain their power under the new uniformity conditions.
||Niall Murphy is funded by the Irish Research Council for Science, Engineering
and Technology. Damien Woods is funded by Science Foundation Ireland grant
systems; NL; P-systems; dissolution; AC0 and L
||Science & Engineering > Computer Science
||18 Jan 2011 16:49
|Journal or Publication Title:
||Technical Report NUIM-CS-TR-2008-01, National University of Ireland Maynooth
||Dept. of Computer Science, NUI Maynooth
Repository Staff Only(login required)
||Item control page