Re: Logics for DNA / Molecular / Quantum Computing

Well, I'm neither a molecular genetecist or an expert in quantum computing, 
but to my knowledge no languages specifically designed for those new fields 
have yet ben developed. This is mostly because the fields are so new that 
the few examples of actual computations created so far are very specific to 
the problem being solved.

Certain problems in nanotechnology and nano-assembly were explored in 
primite form in the past through the discipline of Cellular Automata. An 
example of a language describing one such system can be found here:

         
http://www.cs.runet.edu/~dana/ca/cellular.html

Detailed discussion of a specific problem in DNA computation can be found 
here:
         
http://www.arstechnica.com/reviews/2q00/dna/dna-1.html

Hope that helps,
-Adams Douglas
 Infonex, Inc.