(Mem)brane automata

Erzsébet Csuhaj-Varjú, György Vaszil

Research output: Contribution to journalArticle

8 Citations (Scopus)


We introduce the notion of a P automaton with marked membranes, a Pp p automaton for short, which is an accepting variant of P systems. The concept is motivated by the theory of P systems, brane calculi, and the traditional concept of automata. In P systems with marked membranes, bio-molecules (proteins) are allowed to move through the membranes and to attach onto or to de-attach from the membranes. The membrane system evolves according to rules which are defined over multisets of proteins and describe the above actions. In addition to these features, the P automaton with marked membranes is able to consume inputs from its environment, i.e. multisets of proteins, which might influence the behaviour of the system. The result of the computation is the set of multiset sequences consumed by the skin membrane, supposing that the Pp p automaton started functioning in the initial configuration and entered a final configuration at halting. We show that any recursively enumerable language can be obtained as the language accepted by a Pp p automaton modulo a simple computable mapping.

Original languageEnglish
Pages (from-to)52-60
Number of pages9
JournalTheoretical Computer Science
Issue number1-2
Publication statusPublished - Sep 6 2008


  • Brane calculi
  • Computational completeness
  • P automata
  • P systems

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of '(Mem)brane automata'. Together they form a unique fingerprint.

  • Cite this