7 Laboratoire Spécification et Vérification [Cachan]
For a language $L$, we consider its cyclic closure, and more generally the language $C^{k}(L)$, which consists of all words obtained by partitioning words from $L$ into $k$ factors and permuting them. We prove that the classes of ET0L and EDT0L languages are closed under the operators $C^k$. This both sharpens and generalises Brandstädt's result that if $L$ is context-free then $C^{k}(L)$ is context-sensitive and not context-free in general for $k \geq 3$. We also show that the cyclic closure of an indexed language is indexed.
Algorithmic and computational advances in geometric group theory; Code: FT110100178
Formal languages and decision problems in groups; Funder: Swiss National Science Foundation; Code: 144681
Bibliographic References
1 Document citing this article
Laura Ciobanu;Murray Elder, arXiv (Cornell University), Solutions sets to systems of equations in hyperbolic groups are EDT0L in PSPACE, pp. 110-, 132, 2019, 10.4230/lipics.icalp.2019.110.