Teor´ıa de Autómatas y Lenguajes Formales

114 CHAPTER 6. PROPIEDADES DE LOS LENGUAJES LIBRES DE CONTEXTOpor estado final. Como las construcciones del capítulo 5 son todas efectivas, un algoritmo que usa una representaciónse puede hacer funcionar para cualquiera de las otras. En esta sección se usará la representaciónpor gramáticas libres de contexto.Teorema 33 Existen algoritmos para determinar si un lenguaje libre de contexto es1. vacío,2. finito, o3. infinito.Demostración : Ya se ha dado un algoritmo para probar si un lenguaje libre de contexto es vacío. Para unagramática G = (V, T, P, S), el test del primer lema para remover símbolos inútiles determina si una variablegenera algún string de terminales. Obviamente L(G) es no vacío si y sólo si el símbolo inicial, S, generaalgún string de terminales.Para saber si L(G) es finito, utilice el algoritmo del teorema correspondiente para construir una gramáticaG ′ = (V ′ , T, P ′ , S) en la forma normal de Chomsky, que genera L(G) − {ε}. L(G ′ ) es finito si y sólo si L(G)es finito. Un test simple para la finitud de una gramática en forma normal de Chomsky sin símbolos inútiles,es construir un grafo dirigido con un vértice por variable y un arco de A a B, si hay una producción de laforma A → BC o A → CB para algún C. El lenguaje generado es finito si y sólo si este grafo no tiene ciclos.(Ver texto).Otra pregunta que se puede responder es: dada una gramática libre de contexto, G = (V, T, P, S) y unstring x en T ∗ , ¿está x ∈ L(G)? Aquí se presentará un algoritmo simple de orden ϑ(|x| 3 ) conocido como elalgoritmo de Cocke-Younger-Kasami o CYK. Dado x de longitud N ≥ 1 y una gramática G, que se asumeestá en la forma normal de Chomsky, se determina para cada i, para cada j y para cada variable A, siA ∗ ⇒X ij , en que X ij es el substring de x que tiene largo j y comienza en la posición i.El proceso es por inducción en j. Para j = 1, A ∗ ⇒X ij si y sólo si A → X ij es una producción, ya queX ij tiene largo 1. Para valores mayores de j, si j > 1, entonces A ∗ ⇒X ij si y sólo si hay alguna producciónA → BC y algún k, 1 ≤ k ≤ j, tal que B deriva los primeros k símbolos de X ij y C deriva los últimosj − k símbolos de X ij . Esto es, B ∗ ⇒X ij y C ⇒ X i+k,j+k . Ya que tanto k como j − k son menores que j,en el proceso ya se sabe si estas dos últimas derivaciones son posibles. Por lo tanto, se puede determinar siA ∗ ⇒X ij . Cuando j = N, se puede determinar si S ∗ ⇒X 1N = x. Es decir, se puede saber si x ∈ L(G).Para definir el algoritmo de CYK en forma precisa, sea V ij el conjunto de variables A, tales que A ∗ ⇒X ij .Se puede asumir que 1 ≤ i ≤ N − j + 1 ya que no hay string más largo de N − i + 1 que comienza en posicióni.(1) FOR i := 1 TO N DO(2) V i1 := {A/A → a ∈ P y a es el i-esimo simbolo de x }(3) FOR j := 2 TO N DO(4) FOR i := 1 TO N − j + 1 DO BEGIN(5) V ij := ∅;(6) FOR k := 1 TO J − 1 DO(7) V ij := V ij ∪ {A/A → BC ∈ P , B ∈ V ik y C ∈ V i+k,j−k }ENDEl loop de líneas (1) y (2) inicializan para j = 1. Como la gramática es fija, línea (2) toma tiempoconstante. Por lo tanto el ciclo toma ϑ(N) pasos.Los loops anidados de líneas (3) y (4) hacen que las líneas (5) a (7) se ejecuten a lo más N 2 veces.La línea (5) toma tiempo constante cada vez, es decir, en total se ejecuta ϑ(N 2 ) veces. El loop de lalínea (6) hace que la línea (7) se ejecute ϑ(N 3 )veces. Es decir el algoritmo es ϑ(N 3 ).✷