Dice Question Streamline Icon: https://streamlinehq.com

Is the language of primitive words context‑free (over non‑unary alphabets)?

Determine whether the language of primitive words over any non‑unary alphabet is context‑free.

Information Square Streamline Icon: https://streamlinehq.com

Background

The paper studies probabilistic membership for the language of primitive words (non‑proper powers) and provides a tractable algorithm via circuits with complementation. However, the longstanding question of whether this language is context‑free over non‑unary alphabets remains unresolved.

Settling context‑freeness would clarify the placement of this classical language within the Chomsky hierarchy and inform which grammar‑based techniques could apply.

References

We note that, over non-unary alphabets, it is not currently known whether $L_prim$ is a CFL or not.

On the Complexity of Language Membership for Probabilistic Words (2510.08127 - Amarilli et al., 9 Oct 2025) in Section 6, Tractable Circuits with Complementation — Primitive words