Número de palabras de longitud n en un lenguaje sin contexto


20

con el número de palabras de longitud en un lenguaje (posiblemente ambiguo) libre de contexto.wnortenorte

¿Qué se sabe sobre ?wnorte

Estoy seguro de que esto se ha estudiado mucho, pero no pude encontrar nada en él.


44
Existe un algoritmo randoimizado de tiempo cuasi polinomial para aproximar dentro de una aproximación . sciencedirect.com/science/article/pii/S0890540197926213wnorte(1+ϵ)
Chandra Chekuri

1
Para CFL sin ambigüedades, el teorema clásico de enumeración de Chomsky-Schützenberger debería ser de interés.
Martin Berger

Respuestas:


27

Todo lenguaje sin contexto tiene crecimiento polinómico o crecimiento exponencial. En la notación de la pregunta planteada:

  • O bien hay un polinomio para que para todopagwnortepag(norte)norte
  • O existe un , de modo que para infinitamente .C>1wnorteCnortenorte

Esto se ha demostrado, por ejemplo, en:

Roberto Incitti:
"La función de crecimiento de los lenguajes sin contexto"
Theoretical Computer Science 255 (2001), páginas 601-605

Martin R. Bridson, Robert H. Gilman:
"Lenguajes sin contexto de crecimiento sub-exponencial"
Journal of Computer and System Sciences 64 (2002), páginas 308-310

Y para una gramática libre de contexto dada, uno puede decidir en tiempo polinómico si el lenguaje generado tiene un crecimiento polinómico o exponencial:

Pawel Gawrychowski, Dalia Krieger, Narad Rampersad, Jeffrey Shallit:
"Encontrar la tasa de crecimiento de un lenguaje regular o sin contexto en tiempo polinómico.
Revista Internacional de Fundaciones de Ciencias de la Computación 21 (2010), páginas 597-618


2
Conexión muy interesante: el término tasa de crecimiento es bien conocido en la teoría de grupos y está muy estudiado. Sin embargo, los grupos virtualmente libres tienen una tasa de crecimiento exponencial y sabemos por Muller y Schupp (1983) que los problemas verbales de los grupos virtualmente libres están libres de contexto determinista. ¿Sabes si hay más trabajo sobre la tasa de crecimiento de los lenguajes deterministas sin contexto?
Dtell
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.