On the computational power of insertion-deletion systems |
| |
Authors: | Takahara Akihiro Yokomori Takashi |
| |
Affiliation: | (1) IBM Japan, 1-14 Nisshin-cho, Kawasaki-ku, Kawasaki, 210-8050, Japan (E-mail;(2) Department of Mathematics, School of Education, Waseda University, 1-6-1 Nishiwaseda, Shinjuku-ku, Tokyo 169-8050, Japan;(3) CREST, JST (Japan Science and Technology Corporation), Japan |
| |
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. This revised version was published online in June 2006 with corrections to the Cover Date. |
| |
Keywords: | computational powers DNA computing insertion-deletion systems |
本文献已被 SpringerLink 等数据库收录! |
|