Abstract
Insertion-deletion (or ins-del for short) systems are well studied in formal language theory, especially regarding their computational completeness. The need for many variants on ins-del systems was raised by the computational completeness result of ins-del system with (optimal) size (1, 1, 1; 1, 1, 1). Several regulations like graph-control, matrix and semi-conditional have been imposed on ins-del systems. Typically, computational completeness are obtained as trade-off results, reducing the size, say, to (1, 1, 0, 1, 1, 0) at the expense of increasing other measures of descriptional complexity. In this paper, we study simple semi-conditional ins-del systems, where an ins-del rule can be applied only in the presence or absence of substrings of the derivation string. We show that simple semi-conditional ins-del system, with maximum permitting string length 2 and maximum forbidden string length 1 and sizes (2, 0, 0; 2, 0, 0), (1, 1, 0; 2, 0, 0), or (1, 1, 0; 1, 1, 1), are computationally complete. We also describe RE by a simple semi-conditional ins-del system of size (1, 1, 0; 1, 1, 0) and with maximum permitting and forbidden string lengths 3 and 1, respectively. The obtained results complement the existing results available in the literature.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Again, any r4 could be applied, but we will soon see that \(r=p\) is enforced.
- 2.
Again, any r5 could be applied, but we will soon see that \(r=p\) is enforced.
References
Fernau, H., Kuppusamy, L., Raman, I.: Graph-controlled insertion-deletion systems generating language classes beyond linearity. In: Pighizzini, G., Câmpeanu, C. (eds.) DCFS 2017. LNCS, vol. 10316, pp. 128–139. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-60252-3_10
Fernau, H., Kuppusamy, L., Raman, I.: Investigations on the power of matrix insertion-deletion systems with small sizes. Accepted with Natural Computing (2017)
Fernau, H., Kuppusamy, L., Raman, I.: On describing the regular closure of the linear languages with graph-controlled insertion-deletion systems. In: RAIRO Informatique théorique et Applications/Theoretical Informatics and Applications (2017, Submitted)
Fernau, H., Kuppusamy, L., Raman, I.: On path-controlled insertion-deletion systems. Accepted with Acta Informatica (2017)
Freund, R., Kogler, M., Rogozhin, Yu., Verlan, S.: Graph-controlled insertion-deletion systems. In: McQuillan, I., Pighizzini, G., (eds.) Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, DCFS, vol. 31. EPTCS, pp. 88–98 (2010)
Ivanov, S., Verlan, S.: Random context and semi-conditional insertion-deletion systems. Fundamenta Informaticae 138, 127–144 (2015)
Kari, L., Thierrin, G.: Contextual insertions/deletions and computability. Inf. Comput. 131(1), 47–61 (1996)
Krassovitskiy, A., Rogozhin, Yu., Verlan, S.: Computational power of insertion-deletion (P) systems with rules of size two. Nat. Comput. 10, 835–852 (2011)
Krishna, S.N., Rama, R.: Insertion-deletion P systems. In: Jonoska, N., Seeman, N.C. (eds.) DNA 2001. LNCS, vol. 2340, pp. 360–370. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-48017-X_34
Kuppusamy, L., Rama, R.: On the power of tissue P systems with insertion and deletion rules. In: Pre-Proceedings of Workshop on Membrane Computing, vol. 28. Report RGML, pp. 304–318. University of Tarragona, Spain (2003)
Meduna, A., Svec, M.: Grammars with Context Conditions and Their Applications. Wiley-Interscience, New York (2005)
Păun, Gh., Rozenberg, G., Salomaa, A.: DNA Computing: New Computing Paradigms. Springer, Heidelberg (1998). https://doi.org/10.1007/978-3-662-03563-4
Takahara, A., Yokomori, T.: On the computational power of insertion-deletion systems. Nat. Comput. 2(4), 321–336 (2003)
Verlan, S.: On minimal context-free insertion-deletion systems. J. Automata Lang. Comb. 12(1–2), 317–328 (2007)
Verlan, S.: Recent developments on insertion-deletion systems. Comput. Sci. J. Moldova 18(2), 210–245 (2010)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
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. UCNC 2018. Lecture Notes in Computer Science(), vol 10867. Springer, Cham. https://doi.org/10.1007/978-3-319-92435-9_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-92435-9_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-92434-2
Online ISBN: 978-3-319-92435-9
eBook Packages: Computer ScienceComputer Science (R0)