P Systems with Insertion and Deletion Exo-Operations

  • Authors:
  • Artiom Alhazov;Alexander Krassovitskiy;Yurii Rogozhin;Sergey Verlan

  • Affiliations:
  • (The author gratefully acknowledges the project RetroNet by the Lombardy Region of Italy under the ASTIL Program (regional decree 6119, 20100618)) (Also works: Inst. of Math. and Comp. Sci., Acad. ...;(The author acknowledge the support of the Spanish Ministerio de Ciencia y Tecnología, project MTM2007-63422) Research Group on Mathematical Linguistics, Rovira i Virgili University, Av. Cata ...;(Correspd.) Institute of Mathematics and Computer Science, Academy of Sciences of Moldova, Academiei 5, Chişinău MD-2028, Moldova. rogozhin@math.md;Département Informatique, Université Paris Est, 61 av. Général de Gaulle, 94010 Créteil, France. verlan@univ-paris12.fr

  • Venue:
  • Fundamenta Informaticae - Theory that Counts: To Oscar Ibarra on His 70th Birthday
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

It is known that insertion-deletion (P) systems with two symbols context-free insertion and deletion rules are not computationally complete. It is thus interesting to consider conditions that would allow such systems to reach computational completeness. In this paper we consider insertion-deletion P systems with insertion and deletion operations applied only at the ends of string (we call them exo-operations). We show that such systems with one-symbol insertion and deletion of up to two symbols are computationally complete, and so are systems with insertion of up to two symbols and one-symbol deletion. The question about the computational power of insertion-deletion P systems with one-symbol insertion and one-symbol deletion operations applied at the ends of string is open. However, the tissue P systems reach computationally completeness even in this case.