P-Lingua: A Programming Language for Membrane Computing

Software development for cellular computing has already been addressed, yielding a first generation of applications. This paper develops a new programming language: P-Lingua. Furthermore, the paper presents a simulator for the class of recognizing P systems with active membranes. The paper illustrates it by giving a solution to the SAT problem as an example.