SlideShare una empresa de Scribd logo
1 de 20
Instituto Tecnológico de La Piedad
Matemáticas Discretas ll
LENGUAJES NO REGULARES
Por: Alfredo Armendáriz
El lema de bombeo para lenguajes
no regulares
 Gracias a este lema podremos demostrar que ciertos lenguajes
infinitos no son regulares. Es importante hacer notar que el lema de
bombeo es una herramienta adecuada para demostrar que un
lenguaje no es regular, pero no lo será para demostrar que un
lenguaje si es regular (por el hecho de que existen algunos
lenguajes no regulares que la cumplen). Por tanto, si un lenguaje no
cumple el lema de bombeo no es regular, pero si lo cumple no
podremos decir si es o no regular.
Enunciado del Lema de Bombeo
 Para todo lenguaje regular infinito L, existe una constante n,
dependiente de ese lenguaje, de forma que si w es una cadena de L
con ¦w¦ ≥ n, podemos partir w en tres cadenas, x, y, z, de forma que:
• w = xyz,
• y ≠ ε (o dicho de otro modo, que ¦y¦ ≥ 1),
• ¦xy¦<= n
• Para cualquier k ≥ 0, la cadena xykz pertenece a L.
Más formalmente:
∀ lenguaje regular infinito L sobre un alfabeto Σ
∃ n ∈ N /
∀ w ∈ L / ¦w¦ ≥ n
∃ x, y ,z ∈ Σ* / w = xyz, y ≠ ε, ¦xy¦<= n,
∀ k ≥ 0, xykz ∈ L
Demostración de que un lenguaje
no es regular
 Dado que para todo lenguaje regular infinito se cumple el lema de
bombeo, si nos dan un lenguaje infinito y demostramos que para él
no se cumple, habremos demostrado que no es un lenguaje
regular. Como el lema de bombeo es una propiedad que se
cumple para todas las cadenas de longitud mayor o igual a cierta
n, bastará encontrar una cadena de ese lenguaje, de longitud
mayor o igual a esa n, que no se pueda “bombear” para demostrar
que el lenguaje no es regular. Con esta idea en mente, los pasos a
dar para demostrar que un lenguaje dado no es regular son los
siguientes:
 1. Elegir una palabra w que pertenezca al lenguaje dado. Podemos
elegir cualquier palabra del lenguaje, pero debe ser una cuya
longitud sea mayor o igual que una constante n que
desconocemos (la constante del lema de bombeo). Como
desconocemos n, lo habitual será elegir una palabra en función de
un n cualquiera y cuya longitud sea mayor o igual que n.
 2. El lema de bombeo dice que si el lenguaje fuera regular,
podríamos encontrar una forma de partir esa palabra w en tres,
cumpliendo ciertas restricciones, y que esa partición sería
bombeable. Como queremos demostrar que el lenguaje no es
regular, tendremos que demostrar que no hay ninguna forma de
partir la palabra en tres cumpliendo las restricciones del lema, y
que después se pueda bombear siempre.
 3. Finalmente bastará con encontrar una constante k ≥ 0 que haga
que ninguna de las particiones posibles de w sea bombeable.
 Más formalmente, para demostrar que un lenguaje L sobre un
alfabeto Σ no es regular habrá que demostrar que:
- ∀ n ∈ N
- ∃ w ∈ L / ¦w¦ ≥ n,
- ∀ x, y ,z ∈ Σ* / w = xyz, y ≠ ε, ¦xy¦<= n,
- ∃ k ≥ 0 / xykz ∉ L
Ejemplo de demostración de que
un lenguaje no es regular
 Sea el lenguaje L={a²nbnn≥0}. Demostrando que L no es regular
1. Comprobamos si L es regular por medio del lema de bombeo.
Suponemos que L es regular. Entonces existe una constante n tal que ∀ w ∈ L, ¦w¦ ≥ n,
w = xyz, y ≠ ε, ¦xy¦ <= n, teniendo que xyiz ∈ L.
Se elige w = a²nbn, w ∈ L y ¦w¦= 3n y por tanto ¦w¦≥ n.
2. Probamos, por ejemplo, con la siguiente descomposición
w=xyz
- x = a
- y = a
- z = a²n-2bn
3. Bombeamos:
xy²z = a a a a2n-2bn = a2n+1bn
Podemos observar que xy²z no pertenece a L. Por lo tanto, el lenguaje es no
regular.
Gracias Por su atención
Bibliografía
 http://teodelacomp.blogspot.mx/2011/03/39-lenguajes-no-
regulares.html 30/01/2014/04:44 p.m.
Instituto Tecnológico de La Piedad
Matemáticas Discretas ll
LENGUAJES NO REGULARES
Por: Alfredo Armendáriz
Introducción
Uno de los conceptos más importantes es
el de lenguaje, pero para poder definirlo
conoceremos otros conceptos anteriores.
 Alfabeto. Es un conjunto no vacío de símbolos. Así, el alfabeto del
idioma es español, E= {a,b,c,...z}, es solo uno de tantos alfabetos.
 Palabra. Con los símbolos de un alfabeto es posible formar
secuencias o cadenas de caracteres a estas cadenas se les llama
palabras.
 Lenguaje. Es un conjunto de palabras.
 Todos los lenguajes no son regulares, simplemente hay que tener
en cuenta que los lenguajes regulares son definidos por una expresión.
 No hay ningún método que nos permita decidir sin un lenguaje es
regular o no, ya que depende de la descripción del lenguaje.
Aun que si que tenemos diferentes herramientas que permiten probar
que lenguajes específicos no son regulares.
 1. Asumir que es un lenguaje aceptado por un autómata.
 2. Tomar una palabra suficientemente larga.
 3. Dividir en tres partes x;y;z.
 4. Demostrar que cualquier división de la palabra y en tres
partes no se puede bombear la parte del medio.
Conclusión
Lenguaje no regular. Es aquel lenguaje que
no es muy común, es en el cual tomas una
palabra, la divides en 3 partes y no son del
mismo tamaño ósea que no se pueden
comprar las partes.
Gracias por su
atención
Bibliografía
 https://www.youtube.com/watch?v=cyMsczWwzJA

Más contenido relacionado

La actualidad más candente

Alfabetos-Lenguajes y Automatas 1
Alfabetos-Lenguajes y Automatas 1Alfabetos-Lenguajes y Automatas 1
Alfabetos-Lenguajes y Automatas 1
Osiris Mirerus
 
Lenguajes libre de contexto
Lenguajes libre de contextoLenguajes libre de contexto
Lenguajes libre de contexto
Verónica Es'Loo
 
Lenguajes regulares
Lenguajes regularesLenguajes regulares
Lenguajes regulares
Kenia Adams
 
Expresiones regulares y gramáticas
Expresiones regulares y gramáticasExpresiones regulares y gramáticas
Expresiones regulares y gramáticas
Santiago Ramirez
 

La actualidad más candente (20)

Gramática Libre de Contexto
Gramática Libre de ContextoGramática Libre de Contexto
Gramática Libre de Contexto
 
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.
 
Autómata de Pila
Autómata de Pila Autómata de Pila
Autómata de Pila
 
Alfabetos-Lenguajes y Automatas 1
Alfabetos-Lenguajes y Automatas 1Alfabetos-Lenguajes y Automatas 1
Alfabetos-Lenguajes y Automatas 1
 
Jerarquia de chomsky
Jerarquia de chomskyJerarquia de chomsky
Jerarquia de chomsky
 
Lenguajes libre de contexto
Lenguajes libre de contextoLenguajes libre de contexto
Lenguajes libre de contexto
 
Recursividad
RecursividadRecursividad
Recursividad
 
Arreglos - Assembler
Arreglos - AssemblerArreglos - Assembler
Arreglos - Assembler
 
m discretas
m discretasm discretas
m discretas
 
Programación 3: Grafos, representación y operaciones
Programación 3: Grafos, representación y operacionesProgramación 3: Grafos, representación y operaciones
Programación 3: Grafos, representación y operaciones
 
Lenguajes regulares
Lenguajes regularesLenguajes regulares
Lenguajes regulares
 
La maquina de Turing, sus tipos y aplicaciones.
La maquina de Turing, sus tipos y aplicaciones.La maquina de Turing, sus tipos y aplicaciones.
La maquina de Turing, sus tipos y aplicaciones.
 
Automatas y gramaticas
Automatas y gramaticasAutomatas y gramaticas
Automatas y gramaticas
 
Algoritmos de busqueda - hash truncamiento
Algoritmos de busqueda - hash truncamientoAlgoritmos de busqueda - hash truncamiento
Algoritmos de busqueda - hash truncamiento
 
Lenguajes formales
Lenguajes formalesLenguajes formales
Lenguajes formales
 
Operaciones entre lenguajes
Operaciones entre lenguajesOperaciones entre lenguajes
Operaciones entre lenguajes
 
Expresiones regulares y gramáticas
Expresiones regulares y gramáticasExpresiones regulares y gramáticas
Expresiones regulares y gramáticas
 
Regular expressions
Regular expressionsRegular expressions
Regular expressions
 
Recursividad
RecursividadRecursividad
Recursividad
 
Analisis sintactico
Analisis sintacticoAnalisis sintactico
Analisis sintactico
 

Destacado (11)

Lema de bombeo
Lema de bombeoLema de bombeo
Lema de bombeo
 
Autómatas finitos deterministas (afd)
Autómatas finitos deterministas (afd)Autómatas finitos deterministas (afd)
Autómatas finitos deterministas (afd)
 
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, .
 
Resumen de la pelicula
Resumen de la peliculaResumen de la pelicula
Resumen de la pelicula
 
Practica 11 Laboratorio de Computación para Ingenieros FI
Practica 11 Laboratorio de Computación para Ingenieros FIPractica 11 Laboratorio de Computación para Ingenieros FI
Practica 11 Laboratorio de Computación para Ingenieros FI
 
Dinamarca
DinamarcaDinamarca
Dinamarca
 
Gramática y autómatas
Gramática y autómatasGramática y autómatas
Gramática y autómatas
 
Autómatas finitos no deterministas
Autómatas finitos no deterministasAutómatas finitos no deterministas
Autómatas finitos no deterministas
 
Lenguajes Regulares.
Lenguajes Regulares.Lenguajes Regulares.
Lenguajes Regulares.
 
Automatas de estado finito
Automatas de estado finitoAutomatas de estado finito
Automatas de estado finito
 
Ensayo sobre película
Ensayo sobre películaEnsayo sobre película
Ensayo sobre película
 

Similar a Lenguajes no regulares

Expresiones regulares y gramáticas
Expresiones regulares y gramáticasExpresiones regulares y gramáticas
Expresiones regulares y gramáticas
Juanchi Novas
 
Expresiones regulares
Expresiones regularesExpresiones regulares
Expresiones regulares
Elbery
 
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áticas
Maximo De Leon
 
Jerarquia de chomsky
Jerarquia de chomsky Jerarquia de chomsky
Jerarquia de chomsky
daniel9026
 

Similar a Lenguajes no regulares (20)

Preguntas tc
Preguntas tcPreguntas tc
Preguntas tc
 
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
 
Pumping
PumpingPumping
Pumping
 
Lenguaje y automata operaciones con lenguajes
Lenguaje y automata operaciones con lenguajesLenguaje y automata operaciones con lenguajes
Lenguaje y automata operaciones con lenguajes
 
Lenguajes
LenguajesLenguajes
Lenguajes
 
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
 
5. formalización
5. formalización5. formalización
5. formalización
 
Portafolio Lenguajes y Autómatas Unidad 1
Portafolio Lenguajes y Autómatas Unidad 1Portafolio Lenguajes y Autómatas Unidad 1
Portafolio Lenguajes y Autómatas Unidad 1
 
Unidad 7 lenguajes gramaticas y automatas
Unidad 7 lenguajes gramaticas y automatasUnidad 7 lenguajes gramaticas y automatas
Unidad 7 lenguajes gramaticas y automatas
 
Expresiones regulares y gramáticas
Expresiones regulares y gramáticasExpresiones regulares y gramáticas
Expresiones regulares y gramáticas
 
Omar portillo hijo de dios
Omar portillo hijo de diosOmar portillo hijo de dios
Omar portillo hijo de dios
 
Expresiones regulares
Expresiones regularesExpresiones regulares
Expresiones regulares
 
Automatas
AutomatasAutomatas
Automatas
 
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
 
Expresiones regulares y gramáticas
Expresiones regulares y gramáticasExpresiones regulares y gramáticas
Expresiones regulares y gramáticas
 
Ortografia
OrtografiaOrtografia
Ortografia
 
Gramáticas formales
Gramáticas formales Gramáticas formales
Gramáticas formales
 
Jerarquia de chomsky
Jerarquia de chomsky Jerarquia de chomsky
Jerarquia de chomsky
 
Expresiones regulares y gramaticas
Expresiones regulares y gramaticasExpresiones regulares y gramaticas
Expresiones regulares y gramaticas
 

Más de Alfredo Armendáriz (6)

Población y Muestra (Ejemplo)
Población y Muestra (Ejemplo)Población y Muestra (Ejemplo)
Población y Muestra (Ejemplo)
 
Dependencia Tecnológica (Investigación Documental)
Dependencia Tecnológica (Investigación Documental)Dependencia Tecnológica (Investigación Documental)
Dependencia Tecnológica (Investigación Documental)
 
Influencia negativa de la tecnología a la sociedad
Influencia negativa de la tecnología a la sociedadInfluencia negativa de la tecnología a la sociedad
Influencia negativa de la tecnología a la sociedad
 
Comandos del MS-DOS Tutorial
Comandos del MS-DOS TutorialComandos del MS-DOS Tutorial
Comandos del MS-DOS Tutorial
 
Producción Musical (Monografía)
Producción Musical (Monografía)Producción Musical (Monografía)
Producción Musical (Monografía)
 
Proceso de Planeación Estrátegica
Proceso de Planeación EstrátegicaProceso de Planeación Estrátegica
Proceso de Planeación Estrátegica
 

Último

2° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
2° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx2° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
2° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
candy torres
 
Lineamientos de la Escuela de la Confianza SJA Ccesa.pptx
Lineamientos de la Escuela de la Confianza  SJA  Ccesa.pptxLineamientos de la Escuela de la Confianza  SJA  Ccesa.pptx
Lineamientos de la Escuela de la Confianza SJA Ccesa.pptx
Demetrio Ccesa Rayme
 
6°_GRADO_-_MAYO_06 para sexto grado de primaria
6°_GRADO_-_MAYO_06 para sexto grado de primaria6°_GRADO_-_MAYO_06 para sexto grado de primaria
6°_GRADO_-_MAYO_06 para sexto grado de primaria
Wilian24
 
COMPENDIO ECE 5 GRADO MATEMÁTICAS DE PRIMARIA
COMPENDIO ECE 5 GRADO MATEMÁTICAS DE PRIMARIACOMPENDIO ECE 5 GRADO MATEMÁTICAS DE PRIMARIA
COMPENDIO ECE 5 GRADO MATEMÁTICAS DE PRIMARIA
Wilian24
 

Último (20)

ACERTIJO EL NÚMERO PI COLOREA EMBLEMA OLÍMPICO DE PARÍS. Por JAVIER SOLIS NOYOLA
ACERTIJO EL NÚMERO PI COLOREA EMBLEMA OLÍMPICO DE PARÍS. Por JAVIER SOLIS NOYOLAACERTIJO EL NÚMERO PI COLOREA EMBLEMA OLÍMPICO DE PARÍS. Por JAVIER SOLIS NOYOLA
ACERTIJO EL NÚMERO PI COLOREA EMBLEMA OLÍMPICO DE PARÍS. Por JAVIER SOLIS NOYOLA
 
EFEMERIDES DEL MES DE MAYO PERIODICO MURAL.pdf
EFEMERIDES DEL MES DE MAYO PERIODICO MURAL.pdfEFEMERIDES DEL MES DE MAYO PERIODICO MURAL.pdf
EFEMERIDES DEL MES DE MAYO PERIODICO MURAL.pdf
 
2° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
2° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx2° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
2° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
 
12 - Planetas Extrasolares - Seminario de las Aulas de la Experiencia UPV/EHU
12 - Planetas Extrasolares - Seminario de las Aulas de la Experiencia UPV/EHU12 - Planetas Extrasolares - Seminario de las Aulas de la Experiencia UPV/EHU
12 - Planetas Extrasolares - Seminario de las Aulas de la Experiencia UPV/EHU
 
Lineamientos de la Escuela de la Confianza SJA Ccesa.pptx
Lineamientos de la Escuela de la Confianza  SJA  Ccesa.pptxLineamientos de la Escuela de la Confianza  SJA  Ccesa.pptx
Lineamientos de la Escuela de la Confianza SJA Ccesa.pptx
 
6°_GRADO_-_MAYO_06 para sexto grado de primaria
6°_GRADO_-_MAYO_06 para sexto grado de primaria6°_GRADO_-_MAYO_06 para sexto grado de primaria
6°_GRADO_-_MAYO_06 para sexto grado de primaria
 
UNIDAD DIDACTICA nivel inicial EL SUPERMERCADO.docx
UNIDAD DIDACTICA nivel inicial EL SUPERMERCADO.docxUNIDAD DIDACTICA nivel inicial EL SUPERMERCADO.docx
UNIDAD DIDACTICA nivel inicial EL SUPERMERCADO.docx
 
animalesdelaproincia de beunos aires.pdf
animalesdelaproincia de beunos aires.pdfanimalesdelaproincia de beunos aires.pdf
animalesdelaproincia de beunos aires.pdf
 
Novena de Pentecostés con textos de san Juan Eudes
Novena de Pentecostés con textos de san Juan EudesNovena de Pentecostés con textos de san Juan Eudes
Novena de Pentecostés con textos de san Juan Eudes
 
COMPENDIO ECE 5 GRADO MATEMÁTICAS DE PRIMARIA
COMPENDIO ECE 5 GRADO MATEMÁTICAS DE PRIMARIACOMPENDIO ECE 5 GRADO MATEMÁTICAS DE PRIMARIA
COMPENDIO ECE 5 GRADO MATEMÁTICAS DE PRIMARIA
 
Presentación de la propuesta de clase.pdf
Presentación de la propuesta de clase.pdfPresentación de la propuesta de clase.pdf
Presentación de la propuesta de clase.pdf
 
La Evaluacion Formativa SM6 Ccesa007.pdf
La Evaluacion Formativa SM6  Ccesa007.pdfLa Evaluacion Formativa SM6  Ccesa007.pdf
La Evaluacion Formativa SM6 Ccesa007.pdf
 
AEC2. Egipto Antiguo. Adivina, Adivinanza.pptx
AEC2. Egipto Antiguo. Adivina, Adivinanza.pptxAEC2. Egipto Antiguo. Adivina, Adivinanza.pptx
AEC2. Egipto Antiguo. Adivina, Adivinanza.pptx
 
Tema 19. Inmunología y el sistema inmunitario 2024
Tema 19. Inmunología y el sistema inmunitario 2024Tema 19. Inmunología y el sistema inmunitario 2024
Tema 19. Inmunología y el sistema inmunitario 2024
 
Educacion Basada en Evidencias SM5 Ccesa007.pdf
Educacion Basada en Evidencias  SM5  Ccesa007.pdfEducacion Basada en Evidencias  SM5  Ccesa007.pdf
Educacion Basada en Evidencias SM5 Ccesa007.pdf
 
10-08 Avances tecnológicos del siglo XXI.pdf
10-08 Avances tecnológicos del siglo XXI.pdf10-08 Avances tecnológicos del siglo XXI.pdf
10-08 Avances tecnológicos del siglo XXI.pdf
 
Plan-de-la-Patria-2019-2025- TERCER PLAN SOCIALISTA DE LA NACIÓN.pdf
Plan-de-la-Patria-2019-2025- TERCER PLAN SOCIALISTA DE LA NACIÓN.pdfPlan-de-la-Patria-2019-2025- TERCER PLAN SOCIALISTA DE LA NACIÓN.pdf
Plan-de-la-Patria-2019-2025- TERCER PLAN SOCIALISTA DE LA NACIÓN.pdf
 
Sesión de clase APC: Los dos testigos.pdf
Sesión de clase APC: Los dos testigos.pdfSesión de clase APC: Los dos testigos.pdf
Sesión de clase APC: Los dos testigos.pdf
 
Tema 17. Biología de los microorganismos 2024
Tema 17. Biología de los microorganismos 2024Tema 17. Biología de los microorganismos 2024
Tema 17. Biología de los microorganismos 2024
 
Programa dia de las madres para la convi
Programa dia de las madres para la conviPrograma dia de las madres para la convi
Programa dia de las madres para la convi
 

Lenguajes no regulares

  • 2. Matemáticas Discretas ll LENGUAJES NO REGULARES Por: Alfredo Armendáriz
  • 3. El lema de bombeo para lenguajes no regulares  Gracias a este lema podremos demostrar que ciertos lenguajes infinitos no son regulares. Es importante hacer notar que el lema de bombeo es una herramienta adecuada para demostrar que un lenguaje no es regular, pero no lo será para demostrar que un lenguaje si es regular (por el hecho de que existen algunos lenguajes no regulares que la cumplen). Por tanto, si un lenguaje no cumple el lema de bombeo no es regular, pero si lo cumple no podremos decir si es o no regular.
  • 4. Enunciado del Lema de Bombeo  Para todo lenguaje regular infinito L, existe una constante n, dependiente de ese lenguaje, de forma que si w es una cadena de L con ¦w¦ ≥ n, podemos partir w en tres cadenas, x, y, z, de forma que: • w = xyz, • y ≠ ε (o dicho de otro modo, que ¦y¦ ≥ 1), • ¦xy¦<= n • Para cualquier k ≥ 0, la cadena xykz pertenece a L. Más formalmente: ∀ lenguaje regular infinito L sobre un alfabeto Σ ∃ n ∈ N / ∀ w ∈ L / ¦w¦ ≥ n ∃ x, y ,z ∈ Σ* / w = xyz, y ≠ ε, ¦xy¦<= n, ∀ k ≥ 0, xykz ∈ L
  • 5. Demostración de que un lenguaje no es regular  Dado que para todo lenguaje regular infinito se cumple el lema de bombeo, si nos dan un lenguaje infinito y demostramos que para él no se cumple, habremos demostrado que no es un lenguaje regular. Como el lema de bombeo es una propiedad que se cumple para todas las cadenas de longitud mayor o igual a cierta n, bastará encontrar una cadena de ese lenguaje, de longitud mayor o igual a esa n, que no se pueda “bombear” para demostrar que el lenguaje no es regular. Con esta idea en mente, los pasos a dar para demostrar que un lenguaje dado no es regular son los siguientes:
  • 6.  1. Elegir una palabra w que pertenezca al lenguaje dado. Podemos elegir cualquier palabra del lenguaje, pero debe ser una cuya longitud sea mayor o igual que una constante n que desconocemos (la constante del lema de bombeo). Como desconocemos n, lo habitual será elegir una palabra en función de un n cualquiera y cuya longitud sea mayor o igual que n.  2. El lema de bombeo dice que si el lenguaje fuera regular, podríamos encontrar una forma de partir esa palabra w en tres, cumpliendo ciertas restricciones, y que esa partición sería bombeable. Como queremos demostrar que el lenguaje no es regular, tendremos que demostrar que no hay ninguna forma de partir la palabra en tres cumpliendo las restricciones del lema, y que después se pueda bombear siempre.  3. Finalmente bastará con encontrar una constante k ≥ 0 que haga que ninguna de las particiones posibles de w sea bombeable.
  • 7.  Más formalmente, para demostrar que un lenguaje L sobre un alfabeto Σ no es regular habrá que demostrar que: - ∀ n ∈ N - ∃ w ∈ L / ¦w¦ ≥ n, - ∀ x, y ,z ∈ Σ* / w = xyz, y ≠ ε, ¦xy¦<= n, - ∃ k ≥ 0 / xykz ∉ L
  • 8. Ejemplo de demostración de que un lenguaje no es regular  Sea el lenguaje L={a²nbnn≥0}. Demostrando que L no es regular 1. Comprobamos si L es regular por medio del lema de bombeo. Suponemos que L es regular. Entonces existe una constante n tal que ∀ w ∈ L, ¦w¦ ≥ n, w = xyz, y ≠ ε, ¦xy¦ <= n, teniendo que xyiz ∈ L. Se elige w = a²nbn, w ∈ L y ¦w¦= 3n y por tanto ¦w¦≥ n.
  • 9. 2. Probamos, por ejemplo, con la siguiente descomposición w=xyz - x = a - y = a - z = a²n-2bn 3. Bombeamos: xy²z = a a a a2n-2bn = a2n+1bn Podemos observar que xy²z no pertenece a L. Por lo tanto, el lenguaje es no regular.
  • 10. Gracias Por su atención
  • 13. Matemáticas Discretas ll LENGUAJES NO REGULARES Por: Alfredo Armendáriz
  • 14. Introducción Uno de los conceptos más importantes es el de lenguaje, pero para poder definirlo conoceremos otros conceptos anteriores.
  • 15.  Alfabeto. Es un conjunto no vacío de símbolos. Así, el alfabeto del idioma es español, E= {a,b,c,...z}, es solo uno de tantos alfabetos.  Palabra. Con los símbolos de un alfabeto es posible formar secuencias o cadenas de caracteres a estas cadenas se les llama palabras.  Lenguaje. Es un conjunto de palabras.
  • 16.  Todos los lenguajes no son regulares, simplemente hay que tener en cuenta que los lenguajes regulares son definidos por una expresión.  No hay ningún método que nos permita decidir sin un lenguaje es regular o no, ya que depende de la descripción del lenguaje. Aun que si que tenemos diferentes herramientas que permiten probar que lenguajes específicos no son regulares.
  • 17.  1. Asumir que es un lenguaje aceptado por un autómata.  2. Tomar una palabra suficientemente larga.  3. Dividir en tres partes x;y;z.  4. Demostrar que cualquier división de la palabra y en tres partes no se puede bombear la parte del medio.
  • 18. Conclusión Lenguaje no regular. Es aquel lenguaje que no es muy común, es en el cual tomas una palabra, la divides en 3 partes y no son del mismo tamaño ósea que no se pueden comprar las partes.