Products of automata
Brains, machines, and mathematics (2nd ed.)
Brains, machines, and mathematics (2nd ed.)
Journal of Computer and System Sciences
Membrane Computing: An Introduction
Membrane Computing: An Introduction
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
Gamma and the Chemical Reaction Model: Fifteen Years After
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
Theoretical Computer Science
Hi-index | 0.00 |
We present in this paper a neural-like membrane system solving the SAT problem in linear time. These neural Psystems are nets of cells working with multisets. Each cell has a finite state memory, processes multisets of symbol-impulses, and can send impulses ("excitations") to the neighboring cells. The maximal mode of rules application and the replicative mode of communication between cells are at the core of the efficiency of these systems.