At the crossroads of DNA computing and formal languages: Characterizing recursively enumerable languages using insertion-deletion systems

Lila Kari, Gheorghe Paun, Gabriel Thierrin, Sheng Yu. At the crossroads of DNA computing and formal languages: Characterizing recursively enumerable languages using insertion-deletion systems. In Harvey Rubin, David Harlan Wood, editors, DNA Based Computers, Proceedings of a DIMACS Workshop, Philadelphia, Pennsylvania, USA, June 23-25, 1997. Volume 48 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 329-346, DIMACS/AMS, 1997.

Abstract

Abstract is missing.