Further Results on Languages of Membrane Structures

TL;DR

This paper investigates the computational power of P systems with active membranes, focusing on restrictions like membrane creation and dissolution, and characterizes the class of recursively enumerable languages.

Contribution

It provides new characterizations of recursively enumerable languages using restricted P systems with membrane creation and dissolution.

Findings

P systems with membrane creation and dissolution can characterize recursively enumerable languages.

Restrictions to elementary membranes influence the computational power of membrane systems.

The study extends understanding of membrane systems' capabilities in formal language theory.

Abstract

P systems with active membranes were used to generate languages, in the sense of languages associated with the structure of membrane systems. Here, we analyze the power of P systems with membrane creation and dissolution restricted to elementary membranes, P systems without membrane dissolution operating according to certain output modes. This leads us to characterizations of recursively enumerable languages.