Condiciones suficientes para la regularidad de un lenguaje sin contexto

Sería bueno recopilar una lista de condiciones que impliquen que un lenguaje L sin contexto es regular, es decir, condiciones de la forma: "si un CFG / PDA dado tiene la propiedad P, entonces sus idiomas son regulares"

La propiedad P no tiene que caracterizar los CFG que generan lenguajes regulares. Además, P no tiene que ser decidible, y P debería "depender de alguna manera" de que el lenguaje esté libre de contexto ("el monoide sintáctico de L es finito", "L es decidible en el espacio o (log log n)" y así en, no son lo que estoy buscando).

1. Cada lenguaje unario libre de contexto es regular. (por ejemplo, una consecuencia directa del teorema de Parikh)

2. $$xu^nyv^nz \in L, \text{for all } n \geq 0 \implies xu^iyv^jz \in L, \text{ for all }i,j \geq 0.$$

3. Si un lenguaje sin contexto es conmutativo y lineal, entonces es regular. (Ehrenfeucht, Haussler, Rozenberg, "Sobre la regularidad de los lenguajes sin contexto" , 1983)