$O_n$ is an $n$-MCFL

Kilian Gebhardt, Frédéric Meunier, Sylvain Salvati

Commutative properties in formal languages pose problems at the frontier of computer science, computational linguistics and computational group theory. A prominent problem of this…