Seria bom coletar uma lista de condições que impliquem que uma linguagem L sem contexto seja regular, ou seja, condições da forma: "se um CFG / PDA determinado tiver a propriedade P, suas linguagens serão regulares"
A propriedade P não precisa caracterizar os CFGs que geram idiomas regulares. Além disso, P não precisa ser decidido, e P deve "de alguma forma depender" da linguagem ser livre de contexto ("o monóide sintático de L é finito", "L é decidível no espaço o (log log n)" e, portanto, não são o que estou procurando).
Respostas:
Toda linguagem livre de contexto unária é regular. (por exemplo, uma conseqüência direta do teorema de Parikh)
Se todo par iterativo / bombeado de uma linguagem livre de contexto L for degenerado , L será regular, ou seja, L será regular se, para todas as palavras x, u, y, v, z, for satisfatório: Isso foi comprovado por Ehrenfeucht, Rozenberg, "Pares iterativos fortes e a regularidade de linguagens livres de contexto ", 1983. Consulte " Linguagens livres de contexto ", de Berstel e Boasson, para uma exposição.
Se uma linguagem livre de contexto é comutativa e linear, é regular. (Ehrenfeucht, Haussler, Rozenberg, "Sobre a regularidade de línguas livres de contexto" , 1983)
fonte