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...

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

4.2. PROPIEDADES DE CLAUSURA 71Ejemplo 63 Sea f(0) = a y f(1) = b ∗ , entonces f(010) = ab ∗ a. También, si L = 0 ∗ (0 + 1)1 ∗ entoncesf(L) = a ∗ (a + b ∗ )(b ∗ ) ∗= a ∗ b ∗ ✷Teorema 13 La clase <strong>de</strong> los conjuntos regulares es cerrada bajo sustitución por conjuntos regulares.Demostración : Sea R ⊆ Σ ∗ un lenguaje regular y por cada a ∈ Σ sea R a ⊆ ∆ ∗ un lenguaje regular.Sea f : Σ −→ 2 ∆∗ una sustitución <strong>de</strong>finida por f(a) = R a , para todo a ∈ Σ.Seleccione expresiones regulares <strong>de</strong>notando R y cada R a , reemplace cada ocurrencia <strong>de</strong> un símbolo a enla expresión regular para R por la expresión regular para R a . Claramente, el resultado es otra expresiónregular.Para probar que dicha expresión <strong>de</strong>scribe f(R), basta observar que la sustitución <strong>de</strong> una unión, concatenacióno clausura, es la unión, concatenación o clausura <strong>de</strong> la sustitución. Es <strong>de</strong>cir, por ejemplo,f(L 1 ∪ L 2 ) = f(L 1 ) ∪ f(L 2 ). Una simple inducción en el número <strong>de</strong> operadores <strong>de</strong> la expresión regularcompleta la <strong>de</strong>mostración.Un tipo <strong>de</strong> sustitución especial es el homomorfismo. Un homomorfismo h es una sustitución tal que paracada símbolo a ∈ Σ, h(a) contiene sólo un string. Generalmente se consi<strong>de</strong>ra que h(a) es el string mismomás que el conjunto que sólo lo contiene a él.Es también útil <strong>de</strong>finir la imagen homomórfica inversa <strong>de</strong> un lenguaje L comoh −1 (L) = {x/h(x) ∈ L}y también para un string wh −1 (w) = {x/h(x) = w}Ejemplo 64 Sea h(0) = aa y h(1) = aba.Entonces h(010) = aaabaaa. Si L 1 = (01) ∗ entonces h(L 1 ) = (aaaba) ∗ .Sea L 2 = (ab + ba) ∗ a, entonces h −1 (L 2 ) = {1}. Obsérvese que un string en L 2 que comienza con una bno pue<strong>de</strong> ser h(x) para ningún x ∈ {0, 1} ∗ ya que h(0) y h(1) comienzan con a. Por lo tanto si h −1 (w) noes vacío y w ∈ L 2 , entonces w comienza con a. Ahora, w = a en cuyo caso h −1 (w) = ∅; o w es abw ′ paraalgún w ′ en (ab + ba) ∗ a. Se concluye que cada palabra en h −1 (w) comienza con un 1 y, ya que h(1) = aba,w ′ <strong>de</strong>be comenzar con a. Si w ′ = a se tiene w = aba y h −1 (w) = {1}. Si w ′ ≠ a entonces w ′ = abw ′′ y porlo tanto w = ababw ′′ . Pero ningún string x en {0, 1} ∗ tiene h(x) comenzando con abab. Es <strong>de</strong>cir, el únicostring en L 2 que tiene una imagen inversa bajo h es aba y, por lo tanto, h −1 (L 2 ) = {1}.Obsérvese que h(h −1 (L 2 )) = {aba} ≠ L 2 . Es fácil probar que h(h −1 (L)) ⊆ L y L ⊆ h −1 (h(L)) para todolenguaje L.Teorema 14 La clase <strong>de</strong> los conjuntos regulares es cerrada bajo homomorfismos y el inverso <strong>de</strong> un homomorfismo.Demostración : La clausura bajo homomorfismos es inmediata <strong>de</strong> la clausura bajo sustitución por conjuntosregulares, ya que todo homomorfismo es una sustitución por un conjunto regular en que cada h(a) tiene unsolo elemento.Para probar la clausura bajo el inverso <strong>de</strong> un homomorfismo, sea M = (Q, Σ, δ, q 0 , F ) un AFD que acepteL y sea h un homomorfismo <strong>de</strong> ∆ → Σ ∗ . Se construye un AFD, M ′ , que acepte h −1 (L) leyendo un símboloa ∈ ∆ y simulando M en h(a). Formalmente, sea M ′ = (Q, Σ, δ ′ , q 0 , F ) y se <strong>de</strong>fine δ ′ (q, a), para todo q ∈ Qy a ∈ ∆, como δ(q, h(a)). Nótese que h(a) pue<strong>de</strong> ser un string largo o ε, pero δ está <strong>de</strong>finida sobre todos losstrings por extensión. Es fácil mostrar, por inducción en |x|, que δ ′ (q 0 , x) = δ(q 0 , h(x)); es <strong>de</strong>cir, M ′ aceptax si y sólo si M acepta h(x). Esto es, L(M ′ ) = h −1 (L(M)).✷✷

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

Saved successfully!

Ooh no, something went wrong!