Boolean Circuits and a DNA Algorithm in Membrane Computing

In the present paper we propose a way to simulate Boolean gates and circuits in the framework of P systems with active membranes using inhibiting/de-inhibiting rules. This new approach on the simulation of Boolean gates has the advantage of a self-embedded synchronization, an extra system to solve this problem not being needed. Moreover, the number of membranes and objects we use for the Boolean gates simulation is only two. NP-complete problems, particularly CIRCUIT-SAT, were also considered here. In addition, we propose a ‘DNA-like’ way of solving SAT problem using the tools given by merging and separation operations in P systems.

• Type: Conference
• Year: 2005
• Where: MEMBRANE
• Authors: Mihai Ionescu, Tseren-Onolt Ishdorj
• Keywords: Active Membranes, Boolean Gates, Boolean Gates Simulation, MEMBRANE 2005