Graph-Controlled Insertion-Deletion Systems Generating Language Classes Beyond Linearity

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}$$.
Type de document :
Communication dans un congrès
Giovanni Pighizzini; Cezar Câmpeanu. 19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. Springer International Publishing, Lecture Notes in Computer Science, LNCS-10316, pp.128-139, 2017, Descriptional Complexity of Formal Systems. 〈10.1007/978-3-319-60252-3_10〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01657011
Contributeur : Hal Ifip <>
Soumis le : mercredi 6 décembre 2017 - 11:44:26
Dernière modification le : mercredi 6 décembre 2017 - 13:46:17

Fichier

 Accès restreint
Fichier visible le : 2020-01-01

Connectez-vous pour demander l'accès au fichier

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Henning Fernau, Lakshmanan Kuppusamy, Indhumathi Raman. Graph-Controlled Insertion-Deletion Systems Generating Language Classes Beyond Linearity. Giovanni Pighizzini; Cezar Câmpeanu. 19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. Springer International Publishing, Lecture Notes in Computer Science, LNCS-10316, pp.128-139, 2017, Descriptional Complexity of Formal Systems. 〈10.1007/978-3-319-60252-3_10〉. 〈hal-01657011〉

Partager

Métriques

Consultations de la notice

7