Hairpin Completion Versus Hairpin Reduction

  • Florin Manea
  • Victor Mitrana
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4497)


We define the hairpin reduction as the inverse operation of a formal operation on words and languages suggested by DNA biochemistry, namely the hairpin completion, introduced in [3]. We settle the closure properties of some classes in the Chomsky hierarchy as well as some complexity classes under the non-iterated version of the hairpin reduction, in comparison with the hairpin completion. Then an algorithm that decides whether or not a regular language coincides with its primitive hairpin root is presented. Finally, we discuss a cubic time algorithm for computing the common ancestors of two given words. This algorithm may be used also for computing the closest or farthest primitive hairpin root of a given word.


DNA computing formal languages hairpin completion hairpin reduction primitive hairpin root 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bottoni, P., Labella, A., Manca, V., Mitrana, V.: Superposition based on Watson-Crick-like complementarity. Theory of Computing Systems 39(4), 503–524 (2006)MathSciNetCrossRefMATHGoogle Scholar
  2. 2.
    Castellanos, J., Mitrana, V.: Some remarks on hairpin and loop languages. In: Ito, M., Păun, G., Yu, S. (eds.) Words, Semigroups, and Translations, pp. 47–59. World Scientific, Singapore (2001)CrossRefGoogle Scholar
  3. 3.
    Cheptea, D., Martin-Vide, C., Mitrana, V.: A new operation on words suggested by DNA biochemistry: hairpin completion. In: Proc. Transgressive Computing, pp. 216–228 (2006)Google Scholar
  4. 4.
    Deaton, R., Murphy, R., Garzon, M., Franceschetti, D.R., Stevens, S.E.: Good encodings for DNA-based solutions to combinatorial problems. In: Landweber, L.F., Baum, E (eds). Proc. of DNA-based computers II, DIMACS Series, vol. 44, pp. 247–258 (1998)Google Scholar
  5. 5.
    Galil, Z., Seiferas, J.: Time-space optimal string matching. Journal of Computer and System Sciences 26, 280–294 (1983)MathSciNetCrossRefMATHGoogle Scholar
  6. 6.
    Garzon, M., Deaton, R., Neathery, P., Murphy, R.C., Franceschetti, D.R., Stevens, E.: On the encoding problem for DNA computing. In: The Third DIMACS Workshop on DNA-Based Computing, Univ. of Pennsylvania, pp. 230–237 (1997)Google Scholar
  7. 7.
    Garzon, M., Deaton, R., Nino, L.F., Stevens, Jr S.E., Wittner, M.: Genome encoding for DNA computing. In: Proc. Third Genetic Programming Conference, Madison, MI, pp. 684–690 (1998)Google Scholar
  8. 8.
    Knuth, D.E., Morris, J.H., Pratt, V.R.: Fast pattern matching in strings. SIAM Journal of Computing 6, 323–350 (1977)MathSciNetCrossRefMATHGoogle Scholar
  9. 9.
    Kari, L., Konstantinidis, S., Sosik, P., Thierrin, G.: On hairpin-free words and languages. In: De Felice, C., Restivo, A. (eds.) DLT 2005. LNCS, vol. 3572, pp. 296–307. Springer, Berlin (2005)CrossRefGoogle Scholar
  10. 10.
    Manea, F., Martín-Vide, C., Mitrana, V.: On some algorithmic problems regarding the hairpin completion (submitted)Google Scholar
  11. 11.
    Păun, G., Rozenberg, G., Salomaa, A.: DNA Computing. New Computing Paradigms, Springer-Verlag, Berlin, 1998, Tokyo (1999)Google Scholar
  12. 12.
    Păun, G., Rozenberg, G., Yokomori, T.: Hairpin languages. Intern. J. Found. Comp. Sci. 12(6), 837–847 (2001)MathSciNetCrossRefMATHGoogle Scholar
  13. 13.
    Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages, vol. 3. Springer, Heidelberg (1997)MATHGoogle Scholar
  14. 14.
    Sakamoto, K., Gouzu, H., Komiya, K., Kiga, D., Yokoyama, S., Yokomori, T., Hagiya, M.: Molecular computation by DNA hairpin formation. Science 288, 1223–1226 (2000)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Florin Manea
    • 1
  • Victor Mitrana
    • 1
    • 2
  1. 1.Faculty of Mathematics and Computer Science, University of Bucharest, Str. Academiei 14, 70109, BucharestRomania
  2. 2.Research Group in Mathematical Linguistics, Rovira i Virgili University, Pl. Imperial Tarraco 1, 43005, TarragonaSpain

Personalised recommendations