MURAL - Maynooth University Research Archive Library



    A characterisation of NL using membrane systems without charges and dissolution


    Murphy, Niall and Woods, Damien (2008) A characterisation of NL using membrane systems without charges and dissolution. Technical Report NUIM-CS-TR-2008-01, National University of Ireland Maynooth. pp. 1-12.

    [thumbnail of NM_NUIM-CS-TR-2008-01.pdf] PDF
    NM_NUIM-CS-TR-2008-01.pdf

    Download (281kB)

    Abstract

    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.
    Item Type: Article
    Additional Information: Niall Murphy is funded by the Irish Research Council for Science, Engineering and Technology. Damien Woods is funded by Science Foundation Ireland grant number 04/IN3/1524.
    Keywords: membrane systems; NL; P-systems; dissolution; AC0 and L uniformities;
    Academic Unit: Faculty of Science and Engineering > Computer Science
    Item ID: 2366
    Depositing User: CS Editor
    Date Deposited: 18 Jan 2011 16:49
    Journal or Publication Title: Technical Report NUIM-CS-TR-2008-01, National University of Ireland Maynooth
    Publisher: Dept. of Computer Science, NUI Maynooth
    Refereed: Yes
    Funders: Irish Research Council for Science, Engineering and Technology, Science Foundation Ireland
    URI: https://mural.maynoothuniversity.ie/id/eprint/2366
    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
    Item control page

    Downloads

    Downloads per month over past year

    Origin of downloads