Determine the language-theoretic classification of the D-, R-, and L-representative languages

Determine where the representative languages D, R, and L for free inverse monoids reside within the Chomsky hierarchy, including whether they are context-sensitive or belong to language classes such as the indexed languages.

Background

For free inverse monoids of rank at least two, the paper proves that the Green representative languages D, R, and L are neither context-free nor co-context-free. Their precise position among more expressive formal-language classes is not established. The authors explicitly identify determining whether these languages are context-sensitive or indexed as an unresolved problem.

References

Given that these languages are neither context-free nor co-context-free, it remains to be determined where they reside within the Chomsky hierarchy, specifically, whether they are context-sensitive or even if they belong to other classes of languages, such as indexed.

— Green languages and growth of free inverse monoids  (2609.35251 - Bodart et al., 28 Sep 2026) in Section 11, Future work, item 1