7 Laboratoire Spécification et Vérification [Cachan]
For a language L, we consider its cyclic closure, and more generally the language Ck(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 Ck. This both sharpens and generalises Brandstädt's result that if L is context-free then Ck(L) is context-sensitive and not context-free in general for k≥3. We also show that the cyclic closure of an indexed language is indexed.
Formal languages and decision problems in groups; Funder: Swiss National Science Foundation; Code: 144681
Algorithmic and computational advances in geometric group theory; Funder: Swiss National Science Foundation; Code: FT110100178
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.