11.07.2015 Views

Teor´ıa de Autómatas y Lenguajes Formales

Teor´ıa de Autómatas y Lenguajes Formales

Teor´ıa de Autómatas y Lenguajes Formales

SHOW MORE
SHOW LESS
  • No tags were found...

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

108 CHAPTER 6. PROPIEDADES DE LOS LENGUAJES LIBRES DE CONTEXTOno es libre <strong>de</strong> contexto. Sin embargo, si se escoge Z = b j c k d l y se escribe Z = uvwxy, es siempre posibleescoger u, v, w, x e y, tales que uv M wx M y ∈ L 3 , ∀M. Por ejemplo, se escoge vwx <strong>de</strong> manera que sólo tengab’s. Si se escoge Z = a i b j c j d j , entonces v y x podrían tener sólo a’s, en cuyo caso uv M wx M y ∈ L 3 , ∀M.Se requiere una versión más po<strong>de</strong>rosa <strong>de</strong>l lema <strong>de</strong> bombeo que permita enfocar un número <strong>de</strong> posicionesen el string y luego bombearlas. Una extensión similar es simple para lenguajes regulares ya que en cualquiersecuencia <strong>de</strong> N + 1 estados en un AFD <strong>de</strong> N estados, <strong>de</strong>be contener alguno dos veces; y el substring en elmedio pue<strong>de</strong> ser bombeado. El resultado para lenguajes libres <strong>de</strong> contexto es más difícil <strong>de</strong> obtener pero sepue<strong>de</strong> mostrar. Se establece y prueba una versión simple <strong>de</strong> lo que se conoce como el lema <strong>de</strong> Og<strong>de</strong>n.Lema 10 (Lema <strong>de</strong> Og<strong>de</strong>n) Sea L un lenguaje libre <strong>de</strong> contexto. Entonces hay una contante N (que pue<strong>de</strong>ser la misma que para el lema <strong>de</strong> bombeo), tal que si Z ∈ L y se marcan N o más posiciones (símbolos)cualesquiera <strong>de</strong> Z como “distinguidas”, entonces se pue<strong>de</strong> escribir Z = uvwxy, tal que1. vx tiene al menos una posición distinguida2. vwx tiene a lo más N posiciones distinguidas3. ∀i ≥ 0; uv i wx i y ∈ LDemostración : Sea G una gramática en la forma normal <strong>de</strong> Chomsky que genera L − {ε}. Sean k lasvariables <strong>de</strong> G y sea N = 2 k+1 . Se <strong>de</strong>be construir un camino P en el árbol, similar al <strong>de</strong> la prueba <strong>de</strong>llema <strong>de</strong> bombeo. Sin embargo, ya que estamos interesados sólo en las posiciones distinguidas, no interesarántodos los vértices , peor sólo los “puntos <strong>de</strong> quiebre” (branch points), que son vértices en que ambos hijostienen <strong>de</strong>scendientes distinguidos.P se construye como sigue. La raíz pertenece a P . Si r es el último vértice incluido en P , se sigue comose indica a continuación. Si r tiene un hijo con <strong>de</strong>scendientes distinguidos, ese hijo se agrega a P . Si r esuna hoja, se termina el proceso. Si ambos hijos <strong>de</strong> r tienen <strong>de</strong>scendientes distinguidos, r es un punto <strong>de</strong>quiebre y se agrega el hijo con el mayor número <strong>de</strong> <strong>de</strong>scendientes distinguidos a P (en caso <strong>de</strong> empate, seescoge arbitrariamente).Por lo tanto, cada punto <strong>de</strong> quiebre en P tiene al menos la mitad <strong>de</strong> <strong>de</strong>scendientes distinguidos que elpunto <strong>de</strong> quiebre anterior. Ya que hay al menos N posiciones distinguidas en Z, y todas son <strong>de</strong>scendientes<strong>de</strong> la raíz, hay al menos k + 1 puntos <strong>de</strong> quiebre en P . Por lo tanto, entre los últimos k + 1 puntos <strong>de</strong> quiebre<strong>de</strong>be haber dos con igual etiqueta. Se escoge v 1 y v 2 como dichos puntos <strong>de</strong> quiebre y la <strong>de</strong>mostracióncontinúa exactamente como en el lema <strong>de</strong> bombeo.Ejemplo 80 Sea L 4 = {a i b j c k /i ≠ j, j ≠ k, i ≠ k}. Asuma que L 4 es un lenguaje libre <strong>de</strong> contexto ysea N la constante <strong>de</strong>l lema <strong>de</strong> Og<strong>de</strong>n y consi<strong>de</strong>re el string Z = a N b N+N! c N+2N! . Sean las posiciones <strong>de</strong>las a’s distinguidas y sea Z = uvwxy, satisfaciendo las condiciones <strong>de</strong>l lema <strong>de</strong> Og<strong>de</strong>n. Si v o x contienensímbolos diferentes, entonces uv 2 wx 2 y ∉ L 4 ya que tendrá símbolos no en el or<strong>de</strong>n correcto. Al menos uno<strong>de</strong> v y x <strong>de</strong>be tener a’s, ya que sólo las a’s han sido distinguidas. Por lo tanto si x está en b ∗ o c ∗ , v <strong>de</strong>beestar en a + . Si x ∈ a + , entonces v ∈ a ∗ . Consi<strong>de</strong>re el caso en que x ∈ b ∗ , los <strong>de</strong>más son similares; entoncesv ∈ a + . Sea p = |v|. Entonces 1 ≤ p ≤ N y, por lo tanto, p divi<strong>de</strong> N!, sea q tal que pq = n!. Entoncesz ′ = uv 2q+1 wx 2q+1 y <strong>de</strong>biera estar en L 4 . Pero v 2q+1 = a 2pq+p = a 2N!+p . Como uwy tiene exactamente(n − p) a’s, Z ′ tiene (2N! + N) a’s; sin embargo como v y x no tienen c’s, Z ′ también tiene (2N! + N) c’s y,por lo tanto, no está en L 4 . Una contradicción con el lema <strong>de</strong> Og<strong>de</strong>n. Una contradicción similar ocurre si xestá en a + o c ∗ . Por lo tanto L 4 no es un lenguaje libre <strong>de</strong> contexto.Debe notarse que el lema <strong>de</strong> bombeo es un caso especial <strong>de</strong>l lema <strong>de</strong> Og<strong>de</strong>n en que todas las posicionesson distinguidas.✷✷

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!