Abstract
A regulated extension of an insertion-deletion system known as graph-controlled insertion-deletion (GCID) system has several components and each component contains some insertion-deletion rules. A rule is applied to a string in a component and the resultant string is moved to the target component specified in the rule. When resources are so limited (especially, when deletion is context-free) then GCID systems are not known to describe the class of recursively enumerable languages. Hence, it becomes interesting to find the descriptional complexity of such GCID systems of small sizes with respect to language classes below \(\mathrm {RE}\). To this end, we consider closure classes of linear languages. We show that whenever GCID systems describe \(\mathrm {LIN}\) with t components, we can extend this to GCID systems with just one more component to describe, for instance, 2-\(\mathrm {LIN}\) and with further addition of one more component, we can extend to GCID systems that describe the rational closure of \(\mathrm {LIN}\).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
In [12], \(\mathfrak {L}\,\) was called \(\mathcal {L}_*\), which we avoid due to possible confusions with our Kleene closure operator notation.
References
Benne, R. (ed.): RNA Editing: The Alteration of Protein Coding Sequences of RNA. Series in Molecular Biology. Ellis Horwood, Chichester (1993)
Fernau, H., Kuppusamy, L., Raman, I.: Descriptional complexity of graph-controlled insertion-deletion systems. In: Câmpeanu, C., Manea, F., Shallit, J. (eds.) DCFS 2016. LNCS, vol. 9777, pp. 111–125. Springer, Cham (2016). doi:10.1007/978-3-319-41114-9_9
Fernau, H., Kuppusamy, L., Raman, I.: Generative power of graph-controlled insertion-deletion systems with small sizes. J. Automata Lang. Comb. (2017)
Fernau, H., Kuppusamy, L., Raman, I.: On the computational completeness of graph-controlled insertion-deletion systems with binary sizes. Theoret. Comput. Sci. (2017). doi:http://dx.doi.org/10.1016/j.tcs.2017.01.019
Freund, R., Kogler, M., Rogozhin, Y., Verlan, S.: Graph-controlled insertion-deletion systems. In: McQuillan, I., Pighizzini, G. (eds.) Proceedings of Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, DCFS, EPTCS, vol. 31, pp. 88–98 (2010)
Galiukschov, B.S.: Semicontextual grammars (in Russian). Mat. Logica i Mat. Ling., Kalinin Univ. 38–50 (1981)
Glushkov, V.M.: The abstract theory of automata (in Russian). Russ. Math. Surv. 16, 1–53 (1961)
Haussler, D.: Insertion languages. Inf. Sci. 31(1), 77–89 (1983)
Ivanov, S., Verlan, S.: About one-sided one-symbol insertion-deletion P systems. In: Alhazov, A., Cojocaru, S., Gheorghe, M., Rogozhin, Y., Rozenberg, G., Salomaa, A. (eds.) CMC 2013. LNCS, vol. 8340, pp. 225–237. Springer, Heidelberg (2014). doi:10.1007/978-3-642-54239-8_16
Kari, L.: On insertion and deletion in formal languages. Ph.D. thesis, University of Turku, Finland (1991)
Kari, L., Thierrin, G.: Contextual insertions/deletions and computability. Inf. Comput. 131(1), 47–61 (1996)
Kutrib, M., Malcher, A.: Finite turns and the regular closure of linear context-free languages. Discrete Appl. Math. 155(16), 2152–2164 (2007)
Nagy, B.: A normal form for regular expressions. In: Calude, C.S., Calude, E., Dinneen, M.J. (eds.) Supplemental Papers for DLT 2004, CDMTCS, vol. 252, University of Auckland, New Zealand, Centre for Discrete Mathematics and Theoretical Computer Science (2004)
Păun, G., Rozenberg, G., Salomaa, A.: DNA Computing: New Computing Paradigms. Springer, Heidelberg (1998)
Verlan, S.: Recent developments on insertion-deletion systems. Comput. Sci. J. Moldova 18(2), 210–245 (2010)
Acknowledgments
Some part of the work done by the second author was during the author’s visits to University of Trier, Germany in June-July and December 2016. The possibility to use some overhead money from a DFG grant to support this stay is gratefully acknowledged.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 IFIP International Federation for Information Processing
About this paper
Cite this paper
Fernau, H., Kuppusamy, L., Raman, I. (2017). Graph-Controlled Insertion-Deletion Systems Generating Language Classes Beyond Linearity. In: Pighizzini, G., Câmpeanu, C. (eds) Descriptional Complexity of Formal Systems. DCFS 2017. Lecture Notes in Computer Science(), vol 10316. Springer, Cham. https://doi.org/10.1007/978-3-319-60252-3_10
Download citation
DOI: https://doi.org/10.1007/978-3-319-60252-3_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-60251-6
Online ISBN: 978-3-319-60252-3
eBook Packages: Computer ScienceComputer Science (R0)