Los lenguajes libres de contexto no están cerrados bajo complemento, lo sabemos.
Por lo que yo entiendo, los lenguajes sin contexto que son un subconjunto de para algunas letras están cerrados bajo el complemento (!?)
Aquí está mi argumento. Cada lenguaje CF tiene una imagen Parikh semi-lineal . Los conjuntos semilineales están cerrados bajo complemento. El conjunto de vectores que representan el conjunto semi-lineal se puede transformar fácilmente en una gramática lineal.
Pregunta. ¿Existe una referencia fácilmente accesible a este hecho?
Técnicamente, estos lenguajes se denominan acotados , es decir, un subconjunto de para algunas palabras .
Mi motivación para esta pregunta es de una pregunta reciente sobre la libertad de contexto de . Su complemento dentro de parece más fácil de manejar.