¿Puede haber un lema de bombeo sensible al contexto?


8

Se sabe que existe una propiedad de "bombeo" (las palabras de cierta longitud implican la existencia de bucles en el mecanismo de definición del lenguaje) para los lenguajes regulares y libres de contexto y algunos más (generalmente utilizados para refutar la pertenencia de un idioma a una determinada clase) )

Dentro de la discusión en torno a esta pregunta , la respuesta de Daisy sugiere que no puede haber un gran lema para los lenguajes sensibles al contexto, ya que son tan complejos.

¿Es eso cierto? ¿Se puede demostrar que no puede haber algún tipo de propiedad de bombeo? ¿Hay alguna buena referencia para eso (o en contra de eso)?


2
¿Puedes dar una definición formal de "lema de bombeo"? Si no, no puede haber tal prueba por principio.
Raphael

Quizás uno pueda refutar el teorema de Parikh para los lenguajes sensibles al contexto, y esto nos lleva a esperar que no exista un lema de bombeo que se parezca a los que sabemos que existen.
Yuval Filmus

@YuvalFilmus ¿Qué quieres decir? Claramente, los números primos son sensibles al contexto y no son semilineales. Por lo tanto, Parikh no es válido para el contexto. Eso significa que no se aplica el "bombeo lineal". Al igual que Rafael, tengo curiosidad por saber qué otros métodos se considerarían bombear.
Hendrik Jan

1
Tienes razón, todo se reduce a saber qué es exactamente "bombeo" ... Esperaba algunas sugerencias ... ¿Cuál es el teorema de Parikh para lenguajes sensibles al contexto ? Solo encontré uno para idiomas sin contexto.
lukas.coenig

1
@ lukas.coenig No existe un teorema de Parikh para lenguajes sensibles al contexto, pero podría haber uno si hubiera un simple lema de bombeo para lenguajes sensibles al contexto.
Yuval Filmus

Respuestas:


8

Aquí hay alguna evidencia de que no hay un lema de bombeo para los lenguajes sensibles al contexto.

Por supuesto, una respuesta depende de la pregunta qué constituye un lema de bombeo. La definición razonable más débil que se me ocurre es esta: una clase de lenguaje tiene un lema de bombeo si hay un predicado ternario decidible donde medio:CP(,,)P(g,w,d)

  • g es una palabra que codifica un lenguaje de (piense: gramática),L(g)C
  • w es una palabra en el lenguaje codificado porg
  • d es una palabra que codifica una computación / derivación bombeable para (piense: computación NFA con estado repetido o árbol de derivación CFG con no terminal repetido). Aquí, bombeable significa: existen infinitas palabras en .wL(g)

Además, queremos que, dado un lenguaje en codificado por , por cada palabra suficientemente larga , exista una palabra tal que .LCgwLdP(g,w,d)

Por ejemplo, el lema de bombeo para los lenguajes regulares daría lugar al predicado " codifica un sin y codifica una ejecución que repite un estado y lee ". Para codificaciones adecuadas, esto satisface claramente las condiciones anteriores.gεdw

Ahora demostremos que dicho predicado no existe para los lenguajes sensibles al contexto.

Observe que si una clase de lengua tiene un lema de bombeo, entonces el problema infinito (Dada una gramática, ¿se generará un lenguaje infinito?) Es recursivamente numerable: Dada una codificación , podemos enumerar palabras y y comprobar si . Si encontramos tal , respondemos 'sí', de lo contrario, continuamos la enumeración.gwdP(g,w,d)w,d

Sin embargo, mostramos que el problema de infinito para los lenguajes sensibles al contexto no es recursivamente enumerable. Recuerde que es un nivel de la jerarquía aritmética que incluye estrictamente los lenguajes recursivamente enumerables. Por lo tanto, es suficiente demostrar:Π20

Reclamación : El problema de infinito para los lenguajes sensibles al contexto es -complete.Π20

Es bien sabido que el problema de infinito para lenguajes recursivamente enumerables es -completo (más a menudo, se encuentra la formulación de que el problema de finitud es -completo). Por lo tanto, es suficiente reducir el último problema al problema de infinito para los lenguajes sensibles al contexto.Π20Σ20

Dado un TM , construimos un LBA para el lenguaje Entonces, es infinito si es infinito, lo que completa nuestra prueba.MA

{u#vv is a shortlex-minimal accepting computation of M on input u}.
L(A)L(M)

Actualización: Intenté ser más claro. Actualización: ejemplo agregado.


Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.