Identifier: RP:4420
Authors: Ishdorj, Tseren-Onolt; Alhazov, Artiom
Abstract:
In this paper we define a general class of P systems covering some biological operations with membranes, including evolution, communication, and modifying the membrane structure, and we describe and formally specify some of these operations: membrane merging, membrane separation, membrane release. We also investigate a particular combination of types of rules that can be used in solving the SAT problem in linear time.