Programmable Pushdown Store Base on DNA Computing

  • Zheng Zhang
  • Jin Xu
  • Jie Liu
  • Linqiang Pan
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4115)


DNA computing aims at using nucleic acids for computing. Micro-molar DNA solutions can act as billions of parallel nanoprocessors with few consume. Finite automation is a general compute model. Now, A programmable finite automation based on DNA computing is available[1]. It’s act as a basic features and processes of a finite automaton with two internal states and an alphabet comprising two input symbols. Here we describe a new finite automata made of biomolecules, which can be used as a programmable pushdown store.


Turing Machine Finite Automaton Input Symbol Transition Molecule Stat Transition Graph 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Benenson, Y., Paz-Elizur, T., Adar, R.: Programmable and Autonomous Computing Machine Made of Biomoleculars. Nature 414(6862), 430–434 (2001)CrossRefGoogle Scholar
  2. 2.
    Head., T.: Formal Language Theory and DNA: An Analysis of the Generative Capacity of Specific Recombinant Behaviors. Bulletin of Mathematical Biology 49, 737–759 (1987)MathSciNetGoogle Scholar
  3. 3.
    Adleman, L.M.: Molecular Computation of Solutions to Combinatorial Problems. Science 266(11), 1021–1023 (1994)CrossRefGoogle Scholar
  4. 4.
    Lipton, R.J.: DNA Solution of Hard Computational Problem. Science 268, 542–545 (1995)CrossRefGoogle Scholar
  5. 5.
    Ouyang, Q., Kaplan, P.D., Liu, S.: DNA Solution of the Maximal Clique Problem. Science 278, 446–449 (1997)CrossRefGoogle Scholar
  6. 6.
    Landweber, L.F., Lipton, R.J., Rabin, M.O.: DNA Based Computers III: DIMACS Workshop. In: Rubin, H., Wood, D.H. (eds.), June 23-27, pp. 161–172. University of Pennsylvania (1997)Google Scholar
  7. 7.
    Liu, Q.: DNA Computing on Surfaces. Nature 403, 175–179 (2000)CrossRefGoogle Scholar
  8. 8.
    Faulhammer, D., Cukras, A.R., Lipton, R.J., Landweber, L.F.: Molecular Computation: RNA Solutions to Chess Problems. Proc. Natl. Acad. Sci. 97, 1385–1389 (2000)CrossRefGoogle Scholar
  9. 9.
    Ruben, A.J., Landweber, L.F.: The Past, Present and Future of Molecular Computing. Nature Rev. Mol.Cell Biol. 1, 69–72 (2000)CrossRefGoogle Scholar
  10. 10.
    Roweis, S., Winfree, E., Burgoyne, R., Goodman, M., Rothemund, P., Adleman, L.A.: Sticker Based Model for DNA Computation. In: 2nd DIMACS Workshop on DNA Based Computers, Princeton. DIMACS Series, pp. 1–29 (1999)Google Scholar
  11. 11.
    Kari, L.: DNA Computing: Arrival of Biological Mathematics. Math. Intelligencer 19(2), 9–22 (1997)MATHCrossRefMathSciNetGoogle Scholar
  12. 12.
    Praun, G., Rozenberg, G., Salomaa, A.: DNA Computing. New Computing Paradigms. Springer, Berlin (1998)Google Scholar
  13. 13.
    Sakamoto, K., Gouzu, H., Komiya, K.: Molecular Computation by DNA Hairpin Formation. Science 288, 1223–1226 (2000)CrossRefGoogle Scholar
  14. 14.
    Head, T., Rozenberg, G., Bladergroen, R.B., Breek, C.K.D., Lommerse, P.H.M., Spaink, H.P.: Computing with DNA by Operating on Plasmids. BioSystems 57, 87–93 (2000)CrossRefGoogle Scholar
  15. 15.
    Benenson, Y., Paz-Elizur, T., Adar, R.: Programmable and Autonomous Computing Machine Made of Biomoleculars. Nature 414(6862), 430–434 (2001)CrossRefGoogle Scholar
  16. 16.
    Shi, X.L., Li, X., Zhang, Z., et al.: Improve Capability of DNA Automaton: DNA Automaton with Three Internal States and Tape Head Move in Two Directions. In: Huang, D.-S., Zhang, X.-P., Huang, G.-B. (eds.) ICIC 2005. LNCS, vol. 3645, pp. 71–79. Springer, Heidelberg (2005)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Zheng Zhang
    • 1
  • Jin Xu
    • 1
  • Jie Liu
    • 2
  • Linqiang Pan
    • 1
  1. 1.Department of Control Science and EngineeringHuazhong Univ of Sci&TechWuhanChina
  2. 2.Institute of Material Science and EngineeringHuazhong Univ of Sci&TechWuhanChina

Personalised recommendations