The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
Handbook of Formal Languages
Membrane Computing: An Introduction
Membrane Computing: An Introduction
The Oxford Handbook of Membrane Computing
The Oxford Handbook of Membrane Computing
A formal framework for static (tissue) P systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
WMC'07 Proceedings of the 8th international conference on Membrane computing
A region-oriented hardware implementation for membrane computing applications
WMC'09 Proceedings of the 10th international conference on Membrane Computing
Hi-index | 0.00 |
In this article we present the design of a fast hardware simulator for P systems using the field-programmable gate array (FPGA) technology. The simulator is non-deterministic and it uses a constant time procedure to choose one of the computational paths. The obtained strategy is fair and it is based on a pre-computation of all possible rule applications. This pre-computation is obtained by using the representation of all possible multisets of rules' applications as context-free languages. Then using a standard technique involving formal power series it is possible to obtain the generating series of corresponding languages that permits to construct the structure representing all possible rule applications for any configuration. We give a hardware design implementing some concrete examples and present the obtained results which feature an important speed-up.