Investigations on the power of matrix insertion-deletion systems with small sizes

  • Henning Fernau
  • Lakshmanan Kuppusamy
  • Indhumathi Raman
Article
  • 13 Downloads

Abstract

Matrix insertion-deletion systems combine the idea of matrix control (a control mechanism well established in regulated rewriting) with that of insertion and deletion (as opposed to replacements). Given a matrix insertion-deletion system, the size of such a system is given by a septuple of integers \((k;n,i',i'';m,j',j'')\). The first integer k denotes the maximum number of rules in (length of) any matrix. The next three parameters \(n,i',i''\) denote the maximal length of the insertion string, the maximal length of the left context, and the maximal length of the right context of insertion rules, respectively. The last three parameters \(m,j',j''\) are similarly understood for deletion rules. In this paper, we improve on and complement previous computational completeness results for such systems, showing that matrix insertion-deletion systems of size (1) (3; 1, 0, 1; 1, 0, 1), (3; 1, 0, 1; 1, 1, 0), (3; 1, 1, 1; 1, 0, 0) and (3; 1, 0, 0; 1, 1, 1) (2) (2; 1, 0, 1; 2, 0, 0), (2; 2, 0, 0; 1, 0, 1), (2; 1, 1, 1; 1, 1, 0) and (2; 1, 1, 0; 1, 1, 1), are computationally complete. Further, we also discuss linear and metalinear languages and we show how to simulate grammars characterizing them by matrix insertion-deletion systems of size (3; 1, 1, 0; 1, 0, 0), (3; 1, 0, 1; 1, 0, 0), (2; 2, 1, 0; 1, 0, 0) and (2; 2, 0, 1; 1, 0, 0). We also generate non-semilinear languages using matrices of length three with context-free insertion and deletion rules.

Keywords

Matrix ins-del systems Matrix control Descriptional complexity Computational completeness (Meta)linear languages 

Notes

Acknowledgements

We are grateful to Serghei Verlan for his comments on our previous UCNC version, and also for sharing with us his Perl tool (simulating graph-controlled ins-del systems) that facilitates checking some of our results and examples. Some extension part of the work was undertaken during the second author’s visit to University of Trier, Germany, in June 2016. Support of this visit by overhead money (from DFG grant FE 560/6-1) is gratefully acknowledged.

References

  1. Alhazov A, Krassovitskiy A, Rogozhin Y, Verlan S (2011) P systems with minimal insertion and deletion. Theoret Comput Sci 412(1–2):136–144MathSciNetCrossRefMATHGoogle Scholar
  2. Benne R (ed) (1993) RNA editing: the alteration of protein coding sequences of RNA. Series in molecular biology. Ellis Horwood, ChichesterGoogle Scholar
  3. Biegler F, Burrell MJ, Daley M (2007) Regulated RNA rewriting: modelling RNA editing with guided insertion. Theor Comput Sci 387(2):103–112MathSciNetCrossRefMATHGoogle Scholar
  4. Dassow J, Păun Gh (1985) Further remarks on the complexity of regulated rewriting. Kybernetica 21(3):213–227MathSciNetMATHGoogle Scholar
  5. Dassow J, Păun G (1989) Regulated rewriting in formal language theory, volume 18 of EATCS monographs in theoretical computer science. Springer, BerlinCrossRefGoogle Scholar
  6. Fernau H (2003) Nonterminal complexity of programmed grammars. Theor Comput Sci 296:225–251MathSciNetCrossRefMATHGoogle Scholar
  7. Fernau H, Kuppusamy L (2017) Parikh images of matrix ins-del systems. In: Gopal TV, Jäger G, Steila S (eds) Theory and applications of models of computation, TAMC (LNCS), vol 10185. Springer, pp 201–215Google Scholar
  8. Freund R, Păun G (2001) On the number of non-terminal symbols in graph-controlled, programmed and matrix grammars. In: Margenstern M, Rogozhin Y (eds) Machines, computations, and universality; 3rd MCU (LNCS), vol 2055, pp 214–225Google Scholar
  9. Fernau H, Freund R, Oswald M, Reinhardt K (2007) Refining the nonterminal complexity of graph-controlled, programmed, and matrix grammars. J Autom Lang Comb 12(1/2):117–138MathSciNetMATHGoogle Scholar
  10. Freund R, Kogler M, Rogozhin Y, Verlan S (2010) Graph-controlled insertion-deletion systems. In: McQuillan I, Pighizzini G (eds) Proceedings twelfth annual workshop on descriptional complexity of formal systems, DCFS (EPTCS), vol 31, pp 88–98Google Scholar
  11. Fernau H, Kuppusamy L, Raman I (2016) Generative power of matrix insertion-deletion systems with context-free insertion or deletion. In: Amos M, Condon A (eds) Unconventional computation and natural computation conference, UCNC (LNCS), vol 9726. Springer, pp 35–48Google Scholar
  12. Fernau H, Kuppusamy L, Raman I (2017a) Graph-controlled insertion-deletion systems generating language classes beyond linearity. In: Pighizzini G, Câmpeanu C (eds) Descriptional complexity of formal systems: 19th IFIP WG 1.02 international conference, DCFS (LNCS), vol 10316. Springer, pp 128–139Google Scholar
  13. Fernau H, Kuppusamy L, Raman I (2017b) On the generative power of graph-controlled insertion-deletion systems with small sizes. J Autom Lang Comb 22:61–92MATHGoogle Scholar
  14. Fernau H, Kuppusamy L, Raman I (2017c) Properties of language classes between linear and context-free. Manuscript in preparationGoogle Scholar
  15. Galiukschov BS (1981) Semicontextual grammars (in Russian). Mat. logica i mat. ling., Kalinin Univ., pp 38–50Google Scholar
  16. Geffert V (1991a) How to generate languages using only two pairs of parentheses. J Inf Process Cybern EIK 27(5/6):303–315MATHGoogle Scholar
  17. Geffert V (1991b) Normal forms for phrase-structure grammars. RAIRO Inf théor Appl/Theor Inf Appl 25:473–498MathSciNetCrossRefMATHGoogle Scholar
  18. Herman GT (1968) The halting problem of one state Turing machines with \(n\)-dimensional tape. Z Math Log Grundl Math 14:185–191MathSciNetCrossRefMATHGoogle Scholar
  19. Hopcroft JE, Pansiot J-J (1979) On the reachability problem for 5-dimensional vector addition systems. Theor Comput Sci 8:135–159MathSciNetCrossRefMATHGoogle Scholar
  20. Ivanov S, Verlan S (2015) Random context and semi-conditional insertion-deletion systems. Fundam Inform 138:127–144MathSciNetMATHGoogle Scholar
  21. Ivanov S, Verlan S (2017) Universality and computational completeness of controlled leftist insertion-deletion systems. Fundam Inform 155(1–2):163–185MathSciNetCrossRefGoogle Scholar
  22. Kallmeyer L (2010) On mildly context-sensitive non-linear rewriting. Res Lang Comput 8:341–363MathSciNetCrossRefGoogle Scholar
  23. Kari L (1991) On insertion and deletion in formal languages. PhD thesis, University of Turku, FinlandGoogle Scholar
  24. Kari L, Thierrin G (1996) Contextual insertions/deletions and computability. Inf Comput 131(1):47–61MathSciNetCrossRefMATHGoogle Scholar
  25. Krassovitskiy A, Rogozhin Y, Verlan S (2008) Further results on insertion-deletion systems with one-sided contexts. In: Martín-Vide C, Otto F, Fernau H (eds) Language and automata theory and applications, second international conference, LATA (LNCS), vol 5196. Springer, pp 333–344Google Scholar
  26. Kudlek M (1996) Small deterministic Turing machines. Theor Comput Sci 168(2):241–255MathSciNetCrossRefMATHGoogle Scholar
  27. Kuppusamy L, Rama R (2003) On the power of tissue P systems with insertion and deletion rules. In: Pre-proc of workshop on membrane computing, volume 28 of Report RGML. Univ. Tarragona, Spain, pp 304–318Google Scholar
  28. Kuppusamy L, Mahendran A (2016) Modelling DNA and RNA secondary structures using matrix insertion-deletion systems. Int J Appl Math Comput Sci 26(1):245–258MathSciNetCrossRefMATHGoogle Scholar
  29. Kuppusamy L, Mahendran A, Krishna SN (2011) Matrix insertion-deletion systems for bio-molecular structures. In: Natarajan R, Ojo AK (eds) Distributed computing and internet technology—7th international conference, ICDCIT (LNCS), vol 6536. Springer, pp 301–312Google Scholar
  30. Kuppusamy L, Raman I, Krithivasan K (2016) On succinct description of certain context-free languages by ins-del and matrix ins-del systems. Int J Found Comput Sci 27(7):775–786MathSciNetCrossRefMATHGoogle Scholar
  31. Kuroda S-Y (1964) Classes of languages and linear-bounded automata. Inf Control (now Inf Comput) 7:207–223MathSciNetCrossRefMATHGoogle Scholar
  32. Kutrib M, Malcher A (2007) Finite turns and the regular closure of linear context-free languages. Discret Appl Math 155(16):2152–2164MathSciNetCrossRefMATHGoogle Scholar
  33. Marcus S (1969) Contextual grammars. Rev Roum Math Pures et Appl 14:1525–1534MathSciNetMATHGoogle Scholar
  34. Marcus M, Păun Gh (1990) Regulated Galiukschov semicontextual grammars. Kybernetika 26(4):316–326MathSciNetMATHGoogle Scholar
  35. Margenstern M, Păun Gh, Rogozhin Y, Verlan S (2005) Context-free insertion-deletion systems. Theor Comput Sci 330(2):339–348MathSciNetCrossRefMATHGoogle Scholar
  36. Michaelis J, Kracht M (1997) Semilinearity as a syntactic invariant. In: Retoré C (ed) Logical aspects of computational linguistics, first international conference, LACL’96 (LNCS), vol 1328. Springer, pp 329–345Google Scholar
  37. Neary T (2017) 2-state 2-symbol Turing machines with periodic support produce regular sets. In: Pighizzini G, Câmpeanu C (eds) Descriptional complexity of formal systems—19th IFIP WG 1.02 international conference, DCFS (LNCS), vol 10316. Springer, pp 274–286Google Scholar
  38. Neary T, Woods D (2012) The complexity of small universal Turing machines: A survey. In: Bieliková M, Friedrich G, Gottlob G, Katzenbeisser S, Turán Gy (eds) SOFSEM 2012: theory and practice of computer science—38th conference on current trends in theory and practice of computer science (LNCS), vol 7147. Springer, pp 385–405Google Scholar
  39. Otto F (2006) Restarting automata. In: Ésik Z, Martín-Vide C, Mitrana V (eds) Recent advances in formal languages and applications. Studies in computational intelligence, vol 25. Springer, pp 269–303Google Scholar
  40. Parikh RJ (1966) On context-free languages. J ACM 13(4):570–581CrossRefMATHGoogle Scholar
  41. Păun Gh (1984) Six nonterminals are enough for generating each r.e. language by a matrix grammar. Int J Comput Math 15(1–4):23–37MathSciNetMATHGoogle Scholar
  42. Păun Gh, Rozenberg G, Salomaa A (1998) DNA computing: new computing paradigms. Springer, BerlinCrossRefMATHGoogle Scholar
  43. Penttonen M (1974) One-sided and two-sided context in formal grammars. Inf Control (now Inf Comput) 25:371–392MathSciNetCrossRefMATHGoogle Scholar
  44. Petre I, Verlan S (2012) Matrix insertion-deletion systems. Theor Comput Sci 456:80–88MathSciNetCrossRefMATHGoogle Scholar
  45. Salomaa AK (1973) Formal languages. Academic Press, CambridgeMATHGoogle Scholar
  46. Shannon CE (1956) A universal Turing machine with two internal states. In: Shannon C E, McCarthy J (eds) Automata studies. Annals of mathematics studies, vol 34. Princeton University Press, pp 157–165Google Scholar
  47. Stabler E (2004) Varieties of crossing dependencies: structure dependence and mild context sensitivity. Cognit Sci 28:699–720CrossRefGoogle Scholar
  48. Takahara A, Yokomori T (2003) On the computational power of insertion-deletion systems. Nat Comput 2(4):321–336MathSciNetCrossRefMATHGoogle Scholar
  49. Verlan S (2007) On minimal context-free insertion-deletion systems. J Autom Lang Comb 12(1–2):317–328MathSciNetMATHGoogle Scholar
  50. Verlan S (2010) Recent developments on insertion-deletion systems. Comput Sci J Mold 18(2):210–245MathSciNetMATHGoogle Scholar

Copyright information

© Springer Science+Business Media B.V., part of Springer Nature 2017

Authors and Affiliations

  1. 1.Fachbereich 4 - Abteilung Informatikwissenschaften, CIRTUniversität TrierTrierGermany
  2. 2.School of Computer Science and EngineeringVIT UniversityVelloreIndia
  3. 3.School of Information Technology and EngineeringVIT UniversityVelloreIndia

Personalised recommendations