On the computational power of insertion-deletion systems

Akihiro Takahara, Takashi Yokomori

Research output: Contribution to journalArticle

22 Citations (Scopus)

Abstract

Gene insertion and deletion are basic phenomena found in DNA processing or RNA editing in molecular biology. The genetic mechanism and development based on these evolutionary transformations have been formulated as a formal system with two operations of insertion and deletion, called insertion-deletion systems (Kari and Thierrin, 1996; Kari et al., 1997). We investigate the generative power of insertion-deletion systems (InsDel systems), and show that the family INS 1 1 DEL 1 1 is equal to the family of recursively enumerable languages. This gives a positive answer to an open problem posed in Kari et al. (1997) where it was conjectured contrary.

Original languageEnglish
Pages (from-to)321-336
Number of pages16
JournalNatural Computing
Volume2
Issue number4
DOIs
Publication statusPublished - 2003 Dec 1

    Fingerprint

Keywords

  • Computational powers
  • DNA computing
  • Insertion-deletion systems

ASJC Scopus subject areas

  • Computer Science Applications

Cite this