Lenguajes No Regulares Problemas que los Autómatas No Resuelven. Universidad de Cantabria
Esquema Lema del Bombeo 1 Lema del Bombeo 2 3
Introducción Todos los lenguajes no son regulares, simplemente hay que tener en cuenta que los lenguajes regulares son definidos por una expresión, cuando la intuición nos dice que se pueden definir lenguajes de una forma más compleja.
Lenguajes que no son Regulares No hay ningún método que nos permita decidir si un lenguaje es regular o no, ya que depende de la descripción del lenguaje. Aunque si que tenemos diferentes herramientas que permiten probar que lenguajes específicos no son regulares.
Lenguajes que no son Regulares Recordad que, usando las propiedades de las expresiones regulares, toda expresión regular se puede poner en forma disyuntiva normal y esto nos da una idea de como se puede generar palabras a partir de unas conocidas.
Lenguajes que no son Regulares Recordad que en las expresiones regulares que generan lenguajes con infinitas palabras incluyen el operador estrella. Por lo que si tenemos una palabra, hay formas de generar infinitas nuevas.
Lenguajes que no son Regulares Teorema (Pumping Lemma) Sea L un lenguaje regular. Entonces, existe un número entero positivo p N tal que para cada palabra ω L, con ω p existen x, y, z Σ verificando los siguientes propiedades: y λ, ω = xyz Para todo l N, las palabras xy l z L
Lenguajes que no son Regulares Teorema (Stronger Pumping Lemma) Sea L un lenguaje regular. Entonces, existe un número entero positivo p N tal que para cada palabra ω L, con ω p y cualesquiera x, y, z Σ verificando los siguientes propiedades: y p, ω = xyz. Se puede dividir y en u, v, w Σ verificando las siguientes propiedades: v λ, y = uvw Para todo l N, las palabras xuv l wz L
Lenguajes que no son Regulares Probar que el siguiente lenguaje no es regular L = {0 n 1 n n N}.
Idea del Método Asumir que es un lenguaje aceptado por un autómata. Tomar una palabra suficientemente larga α. Dividirla en tres partes x, y, z. Demostrar que cualquier división de la palabra y en tres partes no se puede bombear la parte del medio.
Lema del Bombeo Definición () Sea Σ un alfabeto finito y sea L Σ un lenguaje cualquiera. Definimos la siguiente relación de equivalencia sobre Σ : dados x, y Σ, x L y si y solamente si: w Σ, xw L yw L.
Myhill Nerode Teorema (Myhill Nerode) Si L Σ es un lenguaje aceptado por un autómata, entonces existen x 1,..., x s Σ tal que cualquier otra palabra ω Σ es equivalente a alguna de las otras. El recíproco también es cierto.
Idea del Teorema Estas palabras representaran los estados de un autómata muy especial que acepta el lenguaje. Las transiciones las definirá con que palabras sean equivalentes ax 1,..., ax s para cada a Σ.
El Palíndromo Los autómatas podrían haber sido buenos candidatos a procesos algorítmicos y uno estaría tentado a definir los problemas decisionales resolubles por un algoritmo como aquellos problemas que son funciones características de un lenguaje regular.
El Palíndromo Un sencillo problema decisional el Palíndromo o, en buen catalán, el problema de la detección de los cap i cua, no será un lenguaje regular, como consecuencia del resultado de Myhill y Nerode anterior.
El Palíndromo Dado un alfabeto finito Σ, y una palabra ω = x 1 x n Σ, denominamos el reverso de ω, ω R a la palabra: ω R = x n x 1. El lenguaje del Palíndromo es dado por P := {x Σ : x R = x}.
Imposibilidad de Regularidad Dada cualquier palabra ω Σ se tiene que ωω R P. Claramente, pues (ωω R ) R = (ω R ) R ω R = ωω R Supongamos, entonces que P fuera un lenguaje regular y sea S un conjunto finito tal que Σ / P = {[y] : y S}.
Imposibilidad de Regularidad Sea m := max{ y : y S} + 1, que existe por ser S un conjunto finito. Consideremos la palabra x = 0 [m] 1 donde 0 [m] representa una lista de m 0 s y los símbolos {0, 1} se suponen dentro del alfabeto Σ. Ha de existir y = y 1 y r S tal que para todo ω Σ xω P yω P
Imposibilidad de Regularidad Ahora bien, tomando x = 0 [m] 1, xx R P, luego yx R P. Pero esto implica yx R = (yx R ) R = xy R Reescribamos esta identidad: yx R = y 1 y r 10 [m] = 0 [m] 1y r y 1 = xy R Deducimos (dado que r m que y 1 = = y r = 0) que m + 1 = r + 1, ya que la palabra solo tiene un 1. Esto es una contradicción.
Otros ejemplos Ejemplo Los siguientes son también ejemplos de lenguajes no regulares: Σ = {0, 1} y el lenguaje L dado por la condición el número de 1 s es mayor que el número de 0 s. Para el mismo alfabeto el lenguaje: L := {0 [m] 1 [m] : m N} Para el alfabeto Σ = {0, 1,..., 9} sea π Σ el lenguaje formado por las palabras que son prefijos de la expansión decimal de π R, es decir: L := {3, 31, 314, 3141, 31415,...}