Characterizing membrane structures through multiset tree automata

  • Authors:
  • José M. Sempere;Damián López

  • Affiliations:
  • Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Valencia, Spain;Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Valencia, Spain

  • Venue:
  • WMC'07 Proceedings of the 8th international conference on Membrane computing
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

The relation between the membrane structures of P systems and an extension of tree automata which introduces multisets in the transition function has been proposed in previous works. Here we propose two features of tree automata which have been previously studied (namely, reversibility and local testability) in order to extend them to multiset tree automata. The characterization of these families will introduce a new characterization of membrane structures defined by the set of rules used for membrane creation and deletion.