Welcome to the InfoSci Platform
Reference Hub1
A Formal Model of Universal Algorithmic Assembly and Molecular Computation

A Formal Model of Universal Algorithmic Assembly and Molecular Computation

Bruce MacLennan
Copyright: © 2010 |Volume: 2 |Issue: 3 |Pages: 14
ISSN: 1941-6318|EISSN: 1941-6326|EISBN13: 9781609609887|DOI: 10.4018/jnmc.2010070104
Cite Article Cite Article

MLA

MacLennan, Bruce. "A Formal Model of Universal Algorithmic Assembly and Molecular Computation." IJNMC vol.2, no.3 2010: pp.55-68. http://doi.org/10.4018/jnmc.2010070104

APA

MacLennan, B. (2010). A Formal Model of Universal Algorithmic Assembly and Molecular Computation. International Journal of Nanotechnology and Molecular Computation (IJNMC), 2(3), 55-68. http://doi.org/10.4018/jnmc.2010070104

Chicago

MacLennan, Bruce. "A Formal Model of Universal Algorithmic Assembly and Molecular Computation," International Journal of Nanotechnology and Molecular Computation (IJNMC) 2, no.3: 55-68. http://doi.org/10.4018/jnmc.2010070104

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

In this paper, the author describes a systematic and general approach to nanostructure synthesis and control through autonomous molecular combinatory computing. Combinatory computing is based on simple network (graph) substitution operations, deriving from combinatory logic (Curry, Feys, & Craig, 1958), which are sufficient for any computation. When these operations are implemented by autonomous molecular processes, they provide a means for computing within supramolecular networks, which may be used to assemble these networks or control their behavior. Further, the Church-Rosser Theorem (Curry, Feys, & Craig, 1958) proves that substitutions may be performed in any order or in parallel without affecting the computational result; this is a very advantageous property for autonomous molecular computation. In addition to the theoretical foundations of molecular combinatory computing, the author discusses possible molecular implementations as well as accomplishments in the (simulated) synthesis of membranes, channels, nanotubes, and other nanostructures.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.