论文信息 - On the Computational Power of Insertion-Deletion Systems

On the Computational Power of Insertion-Deletion Systems

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 ([1], [2]).We investigate the generative power of insertion-deletion systems (InsDel systems), and show that the family INS11DEL11 is equal to the family of recursively enumerable languages. This gives a positive answer to an open problem posed in [2] where it was conjectured to be negative.

Takashi Yokomori | Akihiro Takahara

[1] Lila Kari,et al. Contextual Insertions/Deletions and Computability , 1996, Inf. Comput..

[2] Gheorghe Paun,et al. At the crossroads of DNA computing and formal languages: Characterizing recursively enumerable languages using insertion-deletion systems , 1997, DNA Based Computers.

[3] David I. Lewin,et al. DNA computing , 2002, Comput. Sci. Eng..