Author, as appears in the article.: Ishdorj, Tseren-Onolt Alhazov, Artiom
Keywords: language
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.
Journal publication year: 2011
Publication Type: info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/article