摘要
As an emerging new research area, DNA computation, or more generallybiomolecular computation, extends into other fields such as nanotechnology and material design, andis developing into a new sub-discipline of science and engineering. This paper provides a briefsurvey of some concepts and developments in this area. In particular several approaches aredescribed for biomolecular solutions of the satisfiability problem (using bit strands, DNA tiles andgraph self-assembly). Theoretical models such as the primer splicing systems as well as the recentmodel of forbidding and enforcing are also described. We review some experimental results ofself-assembly of DNA nanostructures and nanomechanical devices as well as the design of anautonomous finite state machine.
As an emerging new research area, DNA computation, or more generallybiomolecular computation, extends into other fields such as nanotechnology and material design, andis developing into a new sub-discipline of science and engineering. This paper provides a briefsurvey of some concepts and developments in this area. In particular several approaches aredescribed for biomolecular solutions of the satisfiability problem (using bit strands, DNA tiles andgraph self-assembly). Theoretical models such as the primer splicing systems as well as the recentmodel of forbidding and enforcing are also described. We review some experimental results ofself-assembly of DNA nanostructures and nanomechanical devices as well as the design of anautonomous finite state machine.
基金
美国科学基金
