Models of molecular computing based on molecular reactions
- 27 Downloads
We discuss two models of molecular computing. The first one is based on an abstract formulation of two sorts of molecular reactions: enforcing and forbidden. The enforcing reactions are reactions that may happen, and are allowed to happen, in a given molecular system, while the forbidden reactions are detrimental for the system (e.g., leading to “incorrect” computations) and thus must be avoided. Hence computations in such a forbidding-enforcing system are driven by enforcing conditions (describing the enforcing reactions), but they are restrained by forbidding conditions (describing the forbidden reactions). The second model, called molecular landscapes, is geared towards the display of solutions. It consists of organisms (computing agents) functioning in a common environment which plays the role of a common communication medium for the organisms. When a molecular landscapes system works on a specific computational problem, each organism is working on this problem. But as soon as an organismM will get its solution to the problem, it modifies the environment, which from this moment on supports only the organisms that get the same solution asM. This is done through a selection mechanism that relies on selective competition which “kills” the losers. Since this selection mechanism interacts with the solution mechanism from the moment that computations are initiated, it can drastically increase the density of good solutions (molecules). In this way the molecular landscapes system achieves the goal of displaying solutions.
KeywordsMolecular Computing DNA Computing Molecular Reactions Filtering Methods Satisfiability Problem
Unable to display preview. Download preview PDF.
- 2).Ehrenfeucht, A., Rozenberg, G. and van Vugt, N.,Molecular landscapes, manuscript.Google Scholar
- 5).Ehrenfeucht, A. and Rozenberg, G., “Forbidding-enforcing Systems,”Theoretical Computer Science, to appear.Google Scholar
- 7).Lewis, H. R. and Papadimitriou, C. H.,Elements of the Theory of Computation, Prentice Hall, Upper Saddle River, 1987.Google Scholar
- 10).van Vugt, N.,Models of Molecular Computing, Ph.D. Thesis, Leiden Institute of Advanced Computer Science, Leiden University, 2002.Google Scholar