A Case Study in (Mem)Brane Computation: Generating {n2 | n 1}

Description

The aim of this paper is to start an investigation and a comparison of the expressiveness of the two most relevant formalisms inspired by membranes interactions, namely, P systems and Brane Calculi. We compare the two formalisms w.r.t. their ability to act as language generators. In particular, we show different ways of generating the set L = {n2 | n 1} in P systems and in Brane Calculi.

Abstract

Ministerio de Educación y Ciencia TIC2002-04220-C03-01

Additional details