Computational power of insertion–deletion (P) systems with rules of size two
Tóm tắt
This article investigates insertion–deletion systems of small size, where at most two symbols can be used in the description of insertion or deletion rules in a context-free or contextual manner. The basic result shows a characterization by context-free grammars of insertion–deletion systems, which insert or delete one symbol in one symbol left context (systems of size (1, 1, 0; 1, 1, 0)). If context-free insertion or deletion rules are considered (systems of size (2, 0, 0; 1, 1, 0) or (1, 1, 0; 2, 0, 0)), then we show that corresponding systems are not computationally complete. However, if the insertion and the deletion operations having same size as above are considered in the distributed framework of P systems, then the computational power strictly increases and the obtained models become computationally complete. The article also shows that if context-free insertion and deletion rules of two symbols (of size (2, 0, 0; 2, 0, 0)) are used in combination with P systems, then the obtained model is still not computationally complete. Finally some open problems are presented.
Từ khóa
Tài liệu tham khảo
Alhazov A, Krassovitskiy A, Rogozhin Y, Verlan S (2009) P systems with minimal insertion and deletion. In: Proceedings of seventh brainstorming week on membrane computing, Sevilla, 2–8 Febrary 2009
Beene R (1993) RNA-editing: the alteration of protein coding sequences of RNA. In: Turner AJ (ed) Ellis Horwood, Chichester, West Sussex
Daley M, Kari L, Gloor G, Siromoney R (1999) Circular contextual insertions/deletions with applications to biomolecular computation. In: Proceedings of 6th international symposium on string processing and information retrieval, SPIRE’99, Mexico, pp 47–54
Galiukschov BS (1981) Semicontextual grammars. Matematika Logica i Matematika Linguistika, Tallin University, pp 38–50 (in Russian)
Kari L (1991) On insertion and deletion in formal languages, PhD thesis, Univrsity of Turku
Kari L, Păun Gh, Thierrin G, Yu S (1997) At the crossroads of DNA computing and formal languages: characterizing RE using insertion–deletion systems. In: Proceedings of 3rd DIMACS workshop on DNA based computing, Philadelphia, pp 318–333
Kari L, Thierrin G (1996) Contextual insertion/deletion and computability. Inf Comput 131(1):47–61
Krassovitskiy A (2009) On the power of insertion P systems of small size. In: Proceedings of seventh brainstorming week on membrane computing, Sevilla, 2–8 Febrary 2009
Krassovitskiy A, Rogozhin Y, Verlan S (2008a) Further results on insertion–deletion systems with one-sided contexts. In: Martin-Vide C et al (eds) LATA 2008. 2nd international conference on language and automata theory and application, Tarragona, 13–19 March 2008 (LNCS) vol 5196. Springer, pp 333–344
Krassovitskiy A, Rogozhin Y, Verlan S (2008b) One-sided insertion and deletion: traditional and P systems case. In: Proceedings of CBM’08, International workshop on computing with biomolecules, 27 August 2008, Wien, pp 53–64
Krassovitskiy A, Rogozhin Y, Verlan S (2008c) Computational power of P systems with small size insertion and deletion rules. In: Proceedings of CSP’08, international workshop on the complexity of simple programs, University of Cork, Ireland, pp 137–148
Marcus S (1969) Contextual grammars. Rev Roum Math Pures Appl 14:1525–1534
Margenstern M, Păun Gh, Rogozhin Yu, Verlan S (2005) Context-free insertion–deletion systems. Theor Comput Sci 330:339–348
Martin-Vide C, Păun Gh, Salomaa A (1998) Characterizations of recursively enumerable languages by means of insertion grammars. Theor Comput Sci 205(1/2):195–205
Matveevici A, Rogozhin Y, Verlan S (2007) insertion–deletion systems with one-sided contexts (LNCS) vol 4664. Springer, NY, pp 205–217
Păun Gh (1997) Marcus contextual grammars. Studies in linguistics and philosophy. Kluwer Academic Publishers, Dordrecht
Păun Gh (2002) Membrane computing. An introduction, vol 163. Springer, Berlin, pp 226–230
Păun Gh, Rozenberg G, Salomaa A (1998) DNA computing. New computing paradigms. Springer, Berlin
Rozenberg G, Salomaa A(eds) (1997) Handbook of formal languages. Springer, Berlin
Smith W (1996) DNA computers in vitro and in vivo. In Lipton RJ, Baum EB et al (eds) Proceedings of a DIMACS workshop american mathematical society. American Mathmatical Society, Providence, pp 121–185
Takahara A, Yokomori T (2003) On the computational power of insertion–deletion systems. In: Proceedings of 8th international workshop on DNA-based computers, DNA8. Sapporo, 10–13 June 2002. Revised papers in LNCS, vol 2568, pp 269–280
The P systems Web page. http://ppage.psystems.eu/
Verlan S (2007) On minimal context-free insertion–deletion systems. J Autom Lang Comb 12(1/2):317–328