Journal of Computer and System Sciences
Complexity classes in models of cellular computing with membranes
Natural Computing: an international journal
Towards a Programming Language in Cellular Computing
Electronic Notes in Theoretical Computer Science (ENTCS)
A formal framework for static (tissue) P systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
A polynomial complexity class in P systems using membrane division
Journal of Automata, Languages and Combinatorics
Depth-first search with P systems
CMC'10 Proceedings of the 11th international conference on Membrane computing
An empirical evaluation of P system testing techniques
Natural Computing: an international journal
Arithmetical metabolic P systems
IWINAC'11 Proceedings of the 4th international conference on Interplay between natural and artificial computation - Volume Part I
Spatial Calculus of Looping Sequences
Theoretical Computer Science
Implementing p systems parallelism by means of GPUs
WMC'09 Proceedings of the 10th international conference on Membrane Computing
Evolutionary design of a simple membrane system
CMC'11 Proceedings of the 12th international conference on Membrane Computing
A p---lingua based simulator for spiking neural p systems
CMC'11 Proceedings of the 12th international conference on Membrane Computing
Designing a new software tool for Digital Imagery based on P systems
Natural Computing: an international journal
Spiking neural p systems with functional astrocytes
CMC'12 Proceedings of the 13th international conference on Membrane Computing
Hi-index | 0.00 |
A new programming language for membrane computing, P-Lingua, is developed in this paper. This language is not designed for a specific simulator software. On the contrary, its purpose is to offer a general syntactic framework that could define a unified standard for membrane computing, covering a broad variety of models. At the present stage, P-Lingua can only handle P systems with active membranes, although the authors intend to extend it to other models in the near future. P-Lingua allows to write programs in a friendly way, as its syntax is very close to standard scientific notation, and parameterized expressions can be used as shorthand for sets of rules. There is a built-in compiler that parses these human-style programs and generates XML documents that can be given as input to simulation tools, while different plugins can be designed to produce specific adequate outputs for existing simulators. Furthermore, we present in this paper an integrated development environment that plays the role of an interface where P-Lingua programs can be written and compiled. We also present a simulator for the class of recognizer P systems with active membranes, and we illustrate it by following the writing, compiling and simulating processes with a family of P systems solving the SAT problem.