SlideShare uma empresa Scribd logo
1 de 17
Robín Peña 12-0914
Noel Gutiérrez 12-0723
Lenguajes             Regulares


Los lenguajes regulares se llaman así porque sus palabras contienen regularidades” o
repeticiones de los mismos componentes, como por ejemplo en el lenguaje L1 siguiente:

L1 = {ab, abab, ababab, abababab, . . .}

Un lenguaje L es regular si y sólo si se cumple al menos una de las condiciones siguientes:

            •   Es finito.

L     {     •

            •
                Es la unión o la concatenación de otros lenguajes regulares R1 y R2, L = R1
                [ R2 o L = R1R2 respectivamente.
                Es la cerradura de Kleene de algún lenguaje regular, L = R.
Expresiones                Regulares
El conjunto ER de las expresiones regulares sobre Σ contiene las cadenas en el alfabeto Σ∪
{“∧”, “+”, “•”, “∗”, “(”, “)”, “Φ”} que cumplen con lo siguiente:

    •   “∧” y “Φ” ∈ ER.

{   •
    •
        Si σ ∈ Σ, entonces σ ∈ ER.
        Si E1, E2 ∈ ER, entonces “(”E1“+”E2“)” ∈ ER, “(”E1“•”E2“)” ∈ ER, “(”E1“)∗” ∈ ER


 Nota: Las comillas “ ” enfatizan el hecho de que estamos definiendo cadenas de
          texto, no expresiones matemáticas
Significados de las ER
Las ER son simplemente formulas cuyo propósito es representar cada una de ellas un
lenguaje. Así, el significado de una ER es simplemente el lenguaje que ella representa.

Por ejemplo, la ER “” representa el conjunto vacío {}.

1. L(“”) = ; (el conjunto vacío)
2. L(“^”) = {"}
3. L(“”) = {}, 2 .
4. L(“(”R“•”S“)” ) = L(R)L(S),R, S 2 ER
5. L( “(”R“+”S“)” ) = L(R) [ L(S),R, S 2 ER
6. L( “(”R“)” ) = L(R),R 2 ER
Metodología de diseño de las ER
Al tratar de encontrar una ER para un lenguaje dado, mientras más complejo sea el
lenguaje es obvio que resulta más difícil encontrar por pura intuición dicha ER. En estos
casos puede ser conveniente trabajar en forma metódica.

Una técnica que funciona en muchos casos consiste en determinar primero la estructura
de la ER, dejando unos “huecos” pendientes para resolverse luego. Estos huecos, que
llamaremos contextos, son también lenguajes para los que habrá que encontrar una ER.



                               Ejemplo
Obtener una ER para el lenguaje en el alfabeto {a, b, c} en que las palabras contienen
exactamente una vez dos b contiguas. Por ejemplo, las palabras aabb, babba, pertenecen
al lenguaje, pero no aaba, abbba ni bbabb.
Equivalencias de Expresiones Regulares
1. R + S = S + R, (R + S) + T = R + (S + T), R + = + R = R, R + R = R
2. R • ^ = ^ • R = R, R • = • R = , (R • S) • T = R • (S • T)
3. R • (S + T) = R • S + R • T, (S + T) • R = S • R + T • R
4. R = R • R = (R) = (^ + R), = ^ = "
5. R = ^ + RR
6. (R + S) = (R + S) = (RS) = (RS)R = R(SR) 6= R + S
7. RR = RR, R(SR) = (RS)R
8. (RS) = ^ + (R + S)S, (RS) = ^ + R(R + S)
9. R = SR + T ssi R = ST, R = RS + T ssi R = TS
Limites de las representaciones
                    textuales
NOTA:
          Un lenguaje puede tener varias representantes, sin embargo, se desea que una
cadena de caracteres no pueda representar mas de un lenguaje, pues de otro modo no
sabríamos a cual de ellos representa.
Limites de las representaciones
                     textuales
Por ejemplo, el conjunto de todas las palabras formadas por a’s y b’s, que es el conjunto
infinito {", a, b, ab, ba, aaa, aab, . . .}, puede ser representado mediante la cadena de
caracteres “{a, b}”, que es una palabra formada por caracteres del alfabeto {“a”,“b”,“{”,“}”,“”,
“,” }.

Como vemos en este ejemplo, una cadena de caracteres de 6 caracteres puede
representar todo un lenguaje infinito.



                                 Teorema
El conjunto de los lenguajes en un alfabeto finito es incontable.
Equivalencia de Expresiones Regulares y
          Autómatas Finitos
Aún cuando por varios ejemplos hemos visto que lenguajes representados por
expresiones regulares son aceptados por autómatas finitos, no hemos probado que para
cualquier expresión regular exista un autómata finito equivalente, y viceversa.

Esto se establece en el siguiente…


                    Teorema de Kleene
Un lenguaje es regular si y solo si es aceptado por algún autómata finito.
Conversión de ER a AF
Una posible solución es el uso de las graficas de transición. Estas últimas son
esencialmente AFN en que las etiquetas de las flechas tienen expresiones regulares, en
lugar de palabras. Las graficas de transición (GT) son por lo tanto quíntuplos (K,,, s, F)
en donde 2 K × ER × K.

Los AFN son un subconjunto propio de las GT, puesto que las palabras en las etiquetas
de un AFN pueden ser vistas como expresiones regulares que se representan así mismas.
Conversión de AF a ER
La prueba de la parte “si” del teorema consiste en dar un procedimiento para transformar
en forma sistemática un autómata finito en una expresión regular equivalente

Un procedimiento para hacerlo consiste en ir eliminando gradualmente nodos de una GT,
que inicialmente es el AFN que se quiere transformar, hasta que únicamente queden un
nodo inicial y un nodo final.
Conversión de AF a ER

1- El primer paso en este procedimiento
 consiste en añadir al
autómata finito un nuevo estado inicial i,
 mientras que el
antiguo estado inicial q0 deja de ser inicial,
 y un nuevo estado final f, mientras que los antiguos estados finales qi ∈ F dejan de ser
finales;




2- El segundo paso consiste
en eliminar nodos intermedios en la GT.
Conversión de AF a ER
Ejemplo:
           Obtener una ER para el AFD de la figura siguiente:




                                          Por lo que finalmente la ER buscada
                                          es (bb∗a) ∗a(a + b) ∗ + (bb∗a)∗ bb∗.
Gramáticas Formales
Una gramática es un conjunto de reglas para formar correctamente las frases de un
lenguaje; así tenemos la gramática del español, del francés, etc

Una regla es una expresión de la forma α → β, en donde tanto α como β son cadenas de
símbolos en donde pueden aparecer tanto elementos del alfabeto Σ como unos nuevos
símbolos, llamados variables.


Los símbolos que no son variables son constantes.
Gramáticas Regulares


                           Definición

Una gramática regular es un cuádruplo (V, Σ, R, S) en donde:


V es un alfabeto de variables,
Σ es un alfabeto de constantes,
R, el conjunto de reglas, es un subconjunto finito de V × (ΣV ∪ Σ).
S, el símbolo inicial, es un elemento de V
Autómatas finitos y Gramáticas
                Regulares
Teorema:
         La clase de los lenguajes generados por alguna gramática regular es
exactamente la de los lenguajes regulares.



    Limitaciones de los Lenguajes Regulares
Los AF están limitados a los estados de que disponen como único medio para “recordar”
la serie de símbolos recibidos hasta un momento dado.
El teorema de Bombeo

                              Teorema
Si L es un lenguaje regular infinito, entonces existen cadenas x, y, z tales que
y 6= ε, y xynz ∈ L, para algún n ≥ 0.



¿Qué?
Lo que este resultado establece es que, suponiendo que cierto lenguaje es
regular, entonces forzosamente dicho lenguaje debe contener palabras en que una
subcadena se repite cualquier número de veces.

Mais conteúdo relacionado

Mais procurados

Expresiones regulares
Expresiones regularesExpresiones regulares
Expresiones regularesElbery
 
Equivalencia de autómatas finitos y expresiones regulares.
Equivalencia de autómatas finitos y expresiones regulares.Equivalencia de autómatas finitos y expresiones regulares.
Equivalencia de autómatas finitos y expresiones regulares.Yamilee Valerio
 
Gramática de contexto libre abel rodriguez (08 1297)
Gramática de contexto libre abel rodriguez (08 1297)Gramática de contexto libre abel rodriguez (08 1297)
Gramática de contexto libre abel rodriguez (08 1297)abelrod12
 
Expresiones regulares y gramáticas
Expresiones regulares y gramáticasExpresiones regulares y gramáticas
Expresiones regulares y gramáticasSantiago Ramirez
 
Alfabetos-Lenguajes y Automatas 1
Alfabetos-Lenguajes y Automatas 1Alfabetos-Lenguajes y Automatas 1
Alfabetos-Lenguajes y Automatas 1Osiris Mirerus
 
Lenguajes regulares
Lenguajes regularesLenguajes regulares
Lenguajes regularesKenia Adams
 
Unidad 6 introduccion a los lenguajes formales
Unidad 6 introduccion a los lenguajes formalesUnidad 6 introduccion a los lenguajes formales
Unidad 6 introduccion a los lenguajes formalesRaul Interian
 
ESPRESIONES REGULARES
ESPRESIONES REGULARESESPRESIONES REGULARES
ESPRESIONES REGULARESAnel Sosa
 
Expresiones regulares2.pdf
Expresiones regulares2.pdfExpresiones regulares2.pdf
Expresiones regulares2.pdfJeffreyagnz
 
Abro paréntesis, abro paréntesis, cierro parentesis, .
Abro paréntesis, abro paréntesis, cierro parentesis, .Abro paréntesis, abro paréntesis, cierro parentesis, .
Abro paréntesis, abro paréntesis, cierro parentesis, .Ivan Vladimir Meza-Ruiz
 

Mais procurados (20)

Expresiones regulares
Expresiones regularesExpresiones regulares
Expresiones regulares
 
Equivalencia de autómatas finitos y expresiones regulares.
Equivalencia de autómatas finitos y expresiones regulares.Equivalencia de autómatas finitos y expresiones regulares.
Equivalencia de autómatas finitos y expresiones regulares.
 
Gramática de contexto libre abel rodriguez (08 1297)
Gramática de contexto libre abel rodriguez (08 1297)Gramática de contexto libre abel rodriguez (08 1297)
Gramática de contexto libre abel rodriguez (08 1297)
 
Expresiones regulares y gramáticas
Expresiones regulares y gramáticasExpresiones regulares y gramáticas
Expresiones regulares y gramáticas
 
Gramática y autómatas
Gramática y autómatasGramática y autómatas
Gramática y autómatas
 
Alfabetos-Lenguajes y Automatas 1
Alfabetos-Lenguajes y Automatas 1Alfabetos-Lenguajes y Automatas 1
Alfabetos-Lenguajes y Automatas 1
 
Lenguajes regulares
Lenguajes regularesLenguajes regulares
Lenguajes regulares
 
Unidad 7 lenguajes gramaticas y automatas
Unidad 7 lenguajes gramaticas y automatasUnidad 7 lenguajes gramaticas y automatas
Unidad 7 lenguajes gramaticas y automatas
 
Ejercicios
EjerciciosEjercicios
Ejercicios
 
Unidad 6 introduccion a los lenguajes formales
Unidad 6 introduccion a los lenguajes formalesUnidad 6 introduccion a los lenguajes formales
Unidad 6 introduccion a los lenguajes formales
 
ESPRESIONES REGULARES
ESPRESIONES REGULARESESPRESIONES REGULARES
ESPRESIONES REGULARES
 
Lenguajes formales
Lenguajes formalesLenguajes formales
Lenguajes formales
 
Expresiones regulares2.pdf
Expresiones regulares2.pdfExpresiones regulares2.pdf
Expresiones regulares2.pdf
 
Clase2
Clase2Clase2
Clase2
 
Expresiones Regulares
Expresiones RegularesExpresiones Regulares
Expresiones Regulares
 
Gramaticas y lic
Gramaticas y licGramaticas y lic
Gramaticas y lic
 
Lenguajes regulares
Lenguajes regularesLenguajes regulares
Lenguajes regulares
 
Abro paréntesis, abro paréntesis, cierro parentesis, .
Abro paréntesis, abro paréntesis, cierro parentesis, .Abro paréntesis, abro paréntesis, cierro parentesis, .
Abro paréntesis, abro paréntesis, cierro parentesis, .
 
lenguajes y_gramaticas
lenguajes y_gramaticaslenguajes y_gramaticas
lenguajes y_gramaticas
 
Automatas
AutomatasAutomatas
Automatas
 

Destaque

Linea de tiempo 10
Linea de tiempo 10Linea de tiempo 10
Linea de tiempo 10blue224105
 
Perl (practical extraction and report language)
Perl (practical extraction and report language)Perl (practical extraction and report language)
Perl (practical extraction and report language)Oliver Centeno
 
Linea del tiempo concepto de cultura
Linea del tiempo concepto de culturaLinea del tiempo concepto de cultura
Linea del tiempo concepto de culturaJAVIERCHO15
 
Breve historia de la palabra cultura
Breve historia de la palabra culturaBreve historia de la palabra cultura
Breve historia de la palabra culturaÓscar Pech Lara
 

Destaque (8)

Concepto cultura Thompson. Noé Santos
Concepto cultura Thompson. Noé SantosConcepto cultura Thompson. Noé Santos
Concepto cultura Thompson. Noé Santos
 
Historia de la cultura
Historia de la  culturaHistoria de la  cultura
Historia de la cultura
 
Linea de tiempo 10
Linea de tiempo 10Linea de tiempo 10
Linea de tiempo 10
 
Perl (practical extraction and report language)
Perl (practical extraction and report language)Perl (practical extraction and report language)
Perl (practical extraction and report language)
 
Linea de tiempo.doc
Linea de tiempo.docLinea de tiempo.doc
Linea de tiempo.doc
 
Linea de tiempo Concepto de Cultura
Linea de tiempo Concepto de CulturaLinea de tiempo Concepto de Cultura
Linea de tiempo Concepto de Cultura
 
Linea del tiempo concepto de cultura
Linea del tiempo concepto de culturaLinea del tiempo concepto de cultura
Linea del tiempo concepto de cultura
 
Breve historia de la palabra cultura
Breve historia de la palabra culturaBreve historia de la palabra cultura
Breve historia de la palabra cultura
 

Semelhante a Lenguajes regulares y expresiones regulares

Presentacion automata grupo 1 unibe 02-02-2018
Presentacion automata grupo 1   unibe 02-02-2018Presentacion automata grupo 1   unibe 02-02-2018
Presentacion automata grupo 1 unibe 02-02-2018Edward Caceres
 
Teoría de Autómatas y Lenguajes Formales (I Bimestre)
Teoría de Autómatas y Lenguajes Formales (I Bimestre)Teoría de Autómatas y Lenguajes Formales (I Bimestre)
Teoría de Autómatas y Lenguajes Formales (I Bimestre)Videoconferencias UTPL
 
S03.s1 - Material.pdf
S03.s1 - Material.pdfS03.s1 - Material.pdf
S03.s1 - Material.pdfJS Legendario
 
Lenguaje de operaciones segunda anny jimenez. ppt
Lenguaje de operaciones segunda anny jimenez. pptLenguaje de operaciones segunda anny jimenez. ppt
Lenguaje de operaciones segunda anny jimenez. pptanersantana
 
Conceptos Unidad 1 Lenguajes Automatas Introducción a la Teoría de Lenguaje...
Conceptos Unidad 1 Lenguajes Automatas Introducción  a  la Teoría de Lenguaje...Conceptos Unidad 1 Lenguajes Automatas Introducción  a  la Teoría de Lenguaje...
Conceptos Unidad 1 Lenguajes Automatas Introducción a la Teoría de Lenguaje...Hugo Alberto Rivera Diaz
 
Lenguajes formales y teoría de autómatas I.pdf
Lenguajes formales y teoría de autómatas I.pdfLenguajes formales y teoría de autómatas I.pdf
Lenguajes formales y teoría de autómatas I.pdfKEILLIEDAILYNSICAJAC
 
Autómata finito no determinista e investigacion
Autómata finito no determinista e investigacionAutómata finito no determinista e investigacion
Autómata finito no determinista e investigacionAliciaSandovalCamacho
 
Alfabeto, Cadenas, Lenguajes, y Problemas
Alfabeto, Cadenas, Lenguajes, y ProblemasAlfabeto, Cadenas, Lenguajes, y Problemas
Alfabeto, Cadenas, Lenguajes, y ProblemasRaul
 
Automatas propuestos
Automatas propuestosAutomatas propuestos
Automatas propuestosvanesagu60
 
Autómatas Finitos Deterministas y Lenguajes Formales
Autómatas Finitos Deterministas y Lenguajes FormalesAutómatas Finitos Deterministas y Lenguajes Formales
Autómatas Finitos Deterministas y Lenguajes FormalesSandy Rafael Garcia
 

Semelhante a Lenguajes regulares y expresiones regulares (19)

Presentacion automata grupo 1 unibe 02-02-2018
Presentacion automata grupo 1   unibe 02-02-2018Presentacion automata grupo 1   unibe 02-02-2018
Presentacion automata grupo 1 unibe 02-02-2018
 
Tipos de lenguaje formal según Chomsky
Tipos de lenguaje formal según ChomskyTipos de lenguaje formal según Chomsky
Tipos de lenguaje formal según Chomsky
 
Teoría de Autómatas y Lenguajes Formales (I Bimestre)
Teoría de Autómatas y Lenguajes Formales (I Bimestre)Teoría de Autómatas y Lenguajes Formales (I Bimestre)
Teoría de Autómatas y Lenguajes Formales (I Bimestre)
 
S03.s1 - Material.pdf
S03.s1 - Material.pdfS03.s1 - Material.pdf
S03.s1 - Material.pdf
 
Lenguaje de operaciones segunda anny jimenez. ppt
Lenguaje de operaciones segunda anny jimenez. pptLenguaje de operaciones segunda anny jimenez. ppt
Lenguaje de operaciones segunda anny jimenez. ppt
 
Alfabetos
AlfabetosAlfabetos
Alfabetos
 
Gramaticas y lic
Gramaticas y licGramaticas y lic
Gramaticas y lic
 
Conceptos Unidad 1 Lenguajes Automatas Introducción a la Teoría de Lenguaje...
Conceptos Unidad 1 Lenguajes Automatas Introducción  a  la Teoría de Lenguaje...Conceptos Unidad 1 Lenguajes Automatas Introducción  a  la Teoría de Lenguaje...
Conceptos Unidad 1 Lenguajes Automatas Introducción a la Teoría de Lenguaje...
 
Presentación 2
Presentación 2Presentación 2
Presentación 2
 
Lógica
Lógica Lógica
Lógica
 
Gramáticas formales
Gramáticas formales Gramáticas formales
Gramáticas formales
 
Lenguajes formales y teoría de autómatas I.pdf
Lenguajes formales y teoría de autómatas I.pdfLenguajes formales y teoría de autómatas I.pdf
Lenguajes formales y teoría de autómatas I.pdf
 
Autómata finito no determinista e investigacion
Autómata finito no determinista e investigacionAutómata finito no determinista e investigacion
Autómata finito no determinista e investigacion
 
Alfabeto, Cadenas, Lenguajes, y Problemas
Alfabeto, Cadenas, Lenguajes, y ProblemasAlfabeto, Cadenas, Lenguajes, y Problemas
Alfabeto, Cadenas, Lenguajes, y Problemas
 
Automatas propuestos
Automatas propuestosAutomatas propuestos
Automatas propuestos
 
Vanessaguzman
VanessaguzmanVanessaguzman
Vanessaguzman
 
Gramaticas
GramaticasGramaticas
Gramaticas
 
Lenguajes
LenguajesLenguajes
Lenguajes
 
Autómatas Finitos Deterministas y Lenguajes Formales
Autómatas Finitos Deterministas y Lenguajes FormalesAutómatas Finitos Deterministas y Lenguajes Formales
Autómatas Finitos Deterministas y Lenguajes Formales
 

Lenguajes regulares y expresiones regulares

  • 1. Robín Peña 12-0914 Noel Gutiérrez 12-0723
  • 2. Lenguajes Regulares Los lenguajes regulares se llaman así porque sus palabras contienen regularidades” o repeticiones de los mismos componentes, como por ejemplo en el lenguaje L1 siguiente: L1 = {ab, abab, ababab, abababab, . . .} Un lenguaje L es regular si y sólo si se cumple al menos una de las condiciones siguientes: • Es finito. L { • • Es la unión o la concatenación de otros lenguajes regulares R1 y R2, L = R1 [ R2 o L = R1R2 respectivamente. Es la cerradura de Kleene de algún lenguaje regular, L = R.
  • 3. Expresiones Regulares El conjunto ER de las expresiones regulares sobre Σ contiene las cadenas en el alfabeto Σ∪ {“∧”, “+”, “•”, “∗”, “(”, “)”, “Φ”} que cumplen con lo siguiente: • “∧” y “Φ” ∈ ER. { • • Si σ ∈ Σ, entonces σ ∈ ER. Si E1, E2 ∈ ER, entonces “(”E1“+”E2“)” ∈ ER, “(”E1“•”E2“)” ∈ ER, “(”E1“)∗” ∈ ER Nota: Las comillas “ ” enfatizan el hecho de que estamos definiendo cadenas de texto, no expresiones matemáticas
  • 4. Significados de las ER Las ER son simplemente formulas cuyo propósito es representar cada una de ellas un lenguaje. Así, el significado de una ER es simplemente el lenguaje que ella representa. Por ejemplo, la ER “” representa el conjunto vacío {}. 1. L(“”) = ; (el conjunto vacío) 2. L(“^”) = {"} 3. L(“”) = {}, 2 . 4. L(“(”R“•”S“)” ) = L(R)L(S),R, S 2 ER 5. L( “(”R“+”S“)” ) = L(R) [ L(S),R, S 2 ER 6. L( “(”R“)” ) = L(R),R 2 ER
  • 5. Metodología de diseño de las ER Al tratar de encontrar una ER para un lenguaje dado, mientras más complejo sea el lenguaje es obvio que resulta más difícil encontrar por pura intuición dicha ER. En estos casos puede ser conveniente trabajar en forma metódica. Una técnica que funciona en muchos casos consiste en determinar primero la estructura de la ER, dejando unos “huecos” pendientes para resolverse luego. Estos huecos, que llamaremos contextos, son también lenguajes para los que habrá que encontrar una ER. Ejemplo Obtener una ER para el lenguaje en el alfabeto {a, b, c} en que las palabras contienen exactamente una vez dos b contiguas. Por ejemplo, las palabras aabb, babba, pertenecen al lenguaje, pero no aaba, abbba ni bbabb.
  • 6. Equivalencias de Expresiones Regulares 1. R + S = S + R, (R + S) + T = R + (S + T), R + = + R = R, R + R = R 2. R • ^ = ^ • R = R, R • = • R = , (R • S) • T = R • (S • T) 3. R • (S + T) = R • S + R • T, (S + T) • R = S • R + T • R 4. R = R • R = (R) = (^ + R), = ^ = " 5. R = ^ + RR 6. (R + S) = (R + S) = (RS) = (RS)R = R(SR) 6= R + S 7. RR = RR, R(SR) = (RS)R 8. (RS) = ^ + (R + S)S, (RS) = ^ + R(R + S) 9. R = SR + T ssi R = ST, R = RS + T ssi R = TS
  • 7. Limites de las representaciones textuales NOTA: Un lenguaje puede tener varias representantes, sin embargo, se desea que una cadena de caracteres no pueda representar mas de un lenguaje, pues de otro modo no sabríamos a cual de ellos representa.
  • 8. Limites de las representaciones textuales Por ejemplo, el conjunto de todas las palabras formadas por a’s y b’s, que es el conjunto infinito {", a, b, ab, ba, aaa, aab, . . .}, puede ser representado mediante la cadena de caracteres “{a, b}”, que es una palabra formada por caracteres del alfabeto {“a”,“b”,“{”,“}”,“”, “,” }. Como vemos en este ejemplo, una cadena de caracteres de 6 caracteres puede representar todo un lenguaje infinito. Teorema El conjunto de los lenguajes en un alfabeto finito es incontable.
  • 9. Equivalencia de Expresiones Regulares y Autómatas Finitos Aún cuando por varios ejemplos hemos visto que lenguajes representados por expresiones regulares son aceptados por autómatas finitos, no hemos probado que para cualquier expresión regular exista un autómata finito equivalente, y viceversa. Esto se establece en el siguiente… Teorema de Kleene Un lenguaje es regular si y solo si es aceptado por algún autómata finito.
  • 10. Conversión de ER a AF Una posible solución es el uso de las graficas de transición. Estas últimas son esencialmente AFN en que las etiquetas de las flechas tienen expresiones regulares, en lugar de palabras. Las graficas de transición (GT) son por lo tanto quíntuplos (K,,, s, F) en donde 2 K × ER × K. Los AFN son un subconjunto propio de las GT, puesto que las palabras en las etiquetas de un AFN pueden ser vistas como expresiones regulares que se representan así mismas.
  • 11. Conversión de AF a ER La prueba de la parte “si” del teorema consiste en dar un procedimiento para transformar en forma sistemática un autómata finito en una expresión regular equivalente Un procedimiento para hacerlo consiste en ir eliminando gradualmente nodos de una GT, que inicialmente es el AFN que se quiere transformar, hasta que únicamente queden un nodo inicial y un nodo final.
  • 12. Conversión de AF a ER 1- El primer paso en este procedimiento consiste en añadir al autómata finito un nuevo estado inicial i, mientras que el antiguo estado inicial q0 deja de ser inicial, y un nuevo estado final f, mientras que los antiguos estados finales qi ∈ F dejan de ser finales; 2- El segundo paso consiste en eliminar nodos intermedios en la GT.
  • 13. Conversión de AF a ER Ejemplo: Obtener una ER para el AFD de la figura siguiente: Por lo que finalmente la ER buscada es (bb∗a) ∗a(a + b) ∗ + (bb∗a)∗ bb∗.
  • 14. Gramáticas Formales Una gramática es un conjunto de reglas para formar correctamente las frases de un lenguaje; así tenemos la gramática del español, del francés, etc Una regla es una expresión de la forma α → β, en donde tanto α como β son cadenas de símbolos en donde pueden aparecer tanto elementos del alfabeto Σ como unos nuevos símbolos, llamados variables. Los símbolos que no son variables son constantes.
  • 15. Gramáticas Regulares Definición Una gramática regular es un cuádruplo (V, Σ, R, S) en donde: V es un alfabeto de variables, Σ es un alfabeto de constantes, R, el conjunto de reglas, es un subconjunto finito de V × (ΣV ∪ Σ). S, el símbolo inicial, es un elemento de V
  • 16. Autómatas finitos y Gramáticas Regulares Teorema: La clase de los lenguajes generados por alguna gramática regular es exactamente la de los lenguajes regulares. Limitaciones de los Lenguajes Regulares Los AF están limitados a los estados de que disponen como único medio para “recordar” la serie de símbolos recibidos hasta un momento dado.
  • 17. El teorema de Bombeo Teorema Si L es un lenguaje regular infinito, entonces existen cadenas x, y, z tales que y 6= ε, y xynz ∈ L, para algún n ≥ 0. ¿Qué? Lo que este resultado establece es que, suponiendo que cierto lenguaje es regular, entonces forzosamente dicho lenguaje debe contener palabras en que una subcadena se repite cualquier número de veces.