Single semi-contextual insertion-deletion systems (original) (raw)
References
Adli M (2018) The CRISPR tool kit for genome editing and beyond. Nat Commun 9(1):1–13 Article Google Scholar
Alhazov A, Krassovitskiy A, Rogozhin Y, Verlan S (2011) P systems with minimal insertion and deletion. Theor Comput Sci 412(1–2):136–144 ArticleMathSciNet Google Scholar
Benne R (ed) (1993) RNA editing: the alteration of protein coding sequences of rna. series in molecular biology. Ellis Horwood, Chichester, UK
Biegler F, Burrell MJ, Daley M (2007) Regulated RNA rewriting: modelling RNA editing with guided insertion. Theor Comput Sci 387(2):103–112 ArticleMathSciNet Google Scholar
Castellanos J, Martín-Vide C, Mitrana V, Sempere JM (2001) Solving NP-complete problems with networks of evolutionary processors. In: Mira J, Prieto A (eds.) Connectionist Models of Neurons, Learning Processes and Artificial Intelligence, 6th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2001 Granada, Spain, June 13-15, 2001, Proceedings, Part I, Lecture Notes in Computer Science, vol. 2084, pp. 621–628. Springer. https://doi.org/10.1007/3-540-45720-8_74
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 - 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings, Lecture Notes in Computer Science, vol. 9726, pp. 35–48. Springer. https://doi.org/10.1007/978-3-319-41312-9_4
Fernau H, Kuppusamy L, Raman I (2018) Computational completeness of simple semi-conditional insertion-deletion systems. In: Stepney S, Verlan S (eds.) Unconventional Computation and Natural Computation - 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings, Lecture Notes in Computer Science, vol. 10867, pp. 86–100. Springer. https://doi.org/10.1007/978-3-319-92435-9_7
Fernau H, Kuppusamy L, Raman I (2020) On the power of generalized forbidding insertion-deletion systems. In: Descriptional Complexity of Formal Systems (DCFS 2020)
Fernau H, Kuppusamy L, Verlan S (2017) Universal matrix insertion grammars with small size. In: Patitz MJ, Stannett M (eds.) Unconventional Computation and Natural Computation - 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings, Lecture Notes in Computer Science. 10240: 182–193. Springer. https://doi.org/10.1007/978-3-319-58187-3_14
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, Electronic Proceedings in Theoretical Computer Science, 31: pp. 88–98
Galiukschov B (1981) Semicontextual grammars. Matem. Logica i Matem. Lingvistika , 38–50. Tallin University, (in Russian)
Ivanov S, Verlan S (2013) About one-sided one-symbol insertion-deletion P systems. In: Alhazov A, Cojocaru S, Gheorghe M, Rogozhin Y, Rozenberg G, Salomaa A (eds.) Membrane Computing - 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers, Lecture Notes in Computer Science, vol. 8340, pp. 225–237. Springer
Jančar P, Mráz F, Plátek M, Vogel J (1995) Restarting automata. In: Reichel H (ed.) Fundamentals of Computation Theory, FCT, LNCS, vol. 965, pp. 283–292
Kari L (1991) On insertion and deletion in formal languages. Ph.D. thesis, University of Turku
Kari L (1994) Deletion operations: closure properties. Int J Comput Math 52:23–42 Article Google Scholar
Kari L, Păun Gh, Thierrin G, Yu S (1999) At the crossroads of DNA computing and formal languages: Characterizing recursively enumerable languages using insertion-deletion systems. In: Rubin H, Wood DH (eds.) DNA Based Computers III, DIMACS Series in Discrete Mathematics and Theretical Computer Science, vol. 48, pp. 329–338. AMS
Kari L, Sosík P (2008) On the weight of universal insertion grammars. Theor Comput Sci 396(1–3):264–270 ArticleMathSciNet Google Scholar
Kari L, Thierrin G (1996) Contextual insertions/deletions and computability. Inf Comput 131(1):47–61 ArticleMathSciNet Google Scholar
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 (eds.) Language and Automata Theory and Applications, Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers, Lecture Notes in Computer Science, Springer, Berlin
Krassovitskiy A, Rogozhin Y, Verlan S (2011) Computational power of insertion-deletion (P) systems with rules of size two. Nat Comput 10(2):835–852 ArticleMathSciNet Google Scholar
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 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings, Lecture Notes in Computer Science, Springer, Berlin
Marcus S (1969) Contextual grammars. In: Third International Conference on Computational Linguistics, COLING 1969, Stockholm, Sweden, September 1-4, 1969
Margenstern M, Păun Gh, Rogozhin Y, Verlan S (2005) Context-free insertion-deletion systems. Theor Comput Sci 330(2):339–348 ArticleMathSciNet Google Scholar
Matveevici A, Rogozhin Y, Verlan S (2007) Insertion-deletion systems with one-sided contexts. In: Durand-Lose J O, Margenstern M (eds.) Machines, Computations, and Universality, 5th International Conference, MCU, LNCS, Springer, Berlin
Minsky M (1967) Computations: finite and infinite machines. Prentice Hall, Englewood Cliffts, NJ MATH Google Scholar
Motwani R, Panigrahy R, Saraswat V, Ventkatasubramanian S (2000) On the decidability of accessibility problems (extended abstract). In: Proceedings of the Thirty-second Annual ACM Symposium on Theory of Computing, STOC, pp. 306–315. ACM
Mutyam M, Krithivasan K, Reddy AS (2005) On characterizing recursively enumerable languages by insertion grammars. Fundam Inform 64(1–4):317–324 MathSciNetMATH Google Scholar
Onodera K (2003) A note on homomorphic representation of recursively enumerable languages with insertion grammars. Transac Inf Process Soc Japan 44(5):1424–1427 MathSciNet Google Scholar
Potapov I, Prianychnykova O, Verlan S (2016) Insertion-deletion systems over relational words. In: K.G. Larsen, I. Potapov, J. Srba (eds.) Reachability Problems - 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings, Lecture Notes in Computer Science, Springer, Berlin