Motivacin Conjuntos Regulares y Expresiones Regulares Relacin entre ER y CR Propiedades de las Expresiones Regulares

Expresiones Regulares
Una forma diferente de expresar un lenguaje

Universidad de Cantabria

Expresiones Regulares

Motivacin Conjuntos Regulares y Expresiones Regulares Relacin entre ER y CR Propiedades de las Expresiones Regulares

Esquema

Motivacin Conjuntos Regulares y Expresiones Regulares Relacin entre ER y CR Propiedades de las Expresiones Regulares

Expresiones Regulares

Motivacin Conjuntos Regulares y Expresiones Regulares Relacin entre ER y CR Propiedades de las Expresiones Regulares

Motivacin

El problema que se pretende resolver mediante la introduccin de las expresiones regulares es el de obtener algn tipo de descriptores para los lenguajes generados por las gramticas regulares.

Expresiones Regulares

Motivacin Conjuntos Regulares y Expresiones Regulares Relacin entre ER y CR Propiedades de las Expresiones Regulares

Motivacin

Cuales son los lenguajes ms sencillos? Los conjuntos nitos, La concatenacin de palabras de diferentes lenguajes, La repeticin de elementos una y otra vez (operacin estrella).

Expresiones Regulares

Motivacin Conjuntos Regulares y Expresiones Regulares Relacin entre ER y CR Propiedades de las Expresiones Regulares

Motivacin

Cuales son los lenguajes ms sencillos? Los conjuntos nitos, La concatenacin de palabras de diferentes lenguajes, La repeticin de elementos una y otra vez (operacin estrella).

Expresiones Regulares

Motivacin Conjuntos Regulares y Expresiones Regulares Relacin entre ER y CR Propiedades de las Expresiones Regulares

Motivacin

Cuales son los lenguajes ms sencillos? Los conjuntos nitos, La concatenacin de palabras de diferentes lenguajes, La repeticin de elementos una y otra vez (operacin estrella).

Expresiones Regulares

Motivacin Conjuntos Regulares y Expresiones Regulares Relacin entre ER y CR Propiedades de las Expresiones Regulares

Ejemplo de operaciones

Supongamos que el alfabeto sobre el que denimos nuestro lenguaje = {a, b} y tenemos estos lenguajes L1 := aa, ab, L2 := ba, bb. Podemos denir estos nuevos lenguajes: L1 L2 := {aa, ab, ba, bb}, L1 L2 := {aaba, abbb, abba, aabb}, L := {aa, ab, aaaa, aaab, abaa, abab, . . .}. 1

Expresiones Regulares

Motivacin Conjuntos Regulares y Expresiones Regulares Relacin entre ER y CR Propiedades de las Expresiones Regulares

Ejemplo de operaciones

Supongamos que el alfabeto sobre el que denimos nuestro lenguaje = {a, b} y tenemos estos lenguajes L1 := aa, ab, L2 := ba, bb. Podemos denir estos nuevos lenguajes: L1 L2 := {aa, ab, ba, bb}, L1 L2 := {aaba, abbb, abba, aabb}, L := {aa, ab, aaaa, aaab, abaa, abab, . . .}. 1

Expresiones Regulares

Motivacin Conjuntos Regulares y Expresiones Regulares Relacin entre ER y CR Propiedades de las Expresiones Regulares

Ejemplo de operaciones

Supongamos que el alfabeto sobre el que denimos nuestro lenguaje = {a, b} y tenemos estos lenguajes L1 := aa, ab, L2 := ba, bb. Podemos denir estos nuevos lenguajes: L1 L2 := {aa, ab, ba, bb}, L1 L2 := {aaba, abbb, abba, aabb}, L := {aa, ab, aaaa, aaab, abaa, abab, . . .}. 1

Expresiones Regulares

Motivacin Conjuntos Regulares y Expresiones Regulares Relacin entre ER y CR Propiedades de las Expresiones Regulares

Denicin

Denicin (Conjuntos regulares) Sea un alfabeto nito. Un conjunto regular es cualquier conjunto denido solamente a partir de concatenacin, unin y la operacin estrella sobre conjuntos regulares.

Expresiones Regulares

Motivacin Conjuntos Regulares y Expresiones Regulares Relacin entre ER y CR Propiedades de las Expresiones Regulares

Denicin
Denicin (Expresiones Regulares) Sea un alfabeto nito. Llamaremos expresin regular sobre el alfabeto a toda palabra sobre el alfabeto 1 denido por la siguiente igualdad: 1 := {, , +, , (, ), } , conforme a las reglas siguientes: Son expresiones regulares , , a para cualquier smbolo a en el alfabeto . Si y son expresiones regulares, tambin lo son:
( + ) es una expresin regular, ( ) es una expresin regular, () es una expresin regular.
Expresiones Regulares

Motivacin Conjuntos Regulares y Expresiones Regulares Relacin entre ER y CR Propiedades de las Expresiones Regulares

Ejemplo

Ejemplo Tomemos el alfabeto := {a, b}. Son expresiones regulares las secuencias de smbolos (palabras) siguientes: a a + b a, ab ba, . . .

Expresiones Regulares

Motivacin Conjuntos Regulares y Expresiones Regulares Relacin entre ER y CR Propiedades de las Expresiones Regulares

La Semntica de las Expresiones Regulares

Denicin Sea un alfabeto nito. A cada expresin regular sobre el alfabeto le asignaremos un lenguaje formal L() conforme a las siguientes reglas: Aplicando las reglas recursivas, si y son dos expresiones regulares sobre el alfabeto usaremos las reglas siguientes: L( + ) = L() L(), L( ) = L() L(), L( ) = L() . Tambin mencionamos que el operador tiene preferencia sobre y ste sobre +.
Expresiones Regulares

Motivacin Conjuntos Regulares y Expresiones Regulares Relacin entre ER y CR Propiedades de las Expresiones Regulares

Ejemplo

Ejemplo Sea := 0 10 la expresin regular sobre el alfabeto := {0, 1}. Entonces, L(0 10 ) = L(0) L(1) L(0) = {0m 10n : n, m N}.

Expresiones Regulares

Motivacin Conjuntos Regulares y Expresiones Regulares Relacin entre ER y CR Propiedades de las Expresiones Regulares

No Unicidad

Un conjunto regular puede estar denido por dos expresiones regulares, como por ejemplo 1 y (1 ) .

Expresiones Regulares

Motivacin Conjuntos Regulares y Expresiones Regulares Relacin entre ER y CR Propiedades de las Expresiones Regulares

Equivalencia

Denicin Diremos que dos expresiones regulares y son tautolgicamente equivalentes (o, simplemente, equivalentes) si se verica: L() = L(). Escribamos para indicar equivalencia tautolgica.

Expresiones Regulares

Motivacin Conjuntos Regulares y Expresiones Regulares Relacin entre ER y CR Propiedades de las Expresiones Regulares

Propiedades de las Expresiones Regulares

Las expresiones regulares tienen varias propiedades que permiten operar y, a veces, reducir expresiones regulares.

Expresiones Regulares

Motivacin Conjuntos Regulares y Expresiones Regulares Relacin entre ER y CR Propiedades de las Expresiones Regulares

Propiedades de las Expresiones Regulares

Asociativa: ( ) ( ) , + ( + ) = ( + ) + .

Expresiones Regulares

Motivacin Conjuntos Regulares y Expresiones Regulares Relacin entre ER y CR Propiedades de las Expresiones Regulares

Propiedades de las Expresiones Regulares

Conmutativa (slo para +) + + .

Expresiones Regulares

Motivacin Conjuntos Regulares y Expresiones Regulares Relacin entre ER y CR Propiedades de las Expresiones Regulares

Propiedades de las Expresiones Regulares

Elementos Neutros: + , , .

Expresiones Regulares

Motivacin Conjuntos Regulares y Expresiones Regulares Relacin entre ER y CR Propiedades de las Expresiones Regulares

Propiedades de las Expresiones Regulares

Idempotencia: + .

Expresiones Regulares

Motivacin Conjuntos Regulares y Expresiones Regulares Relacin entre ER y CR Propiedades de las Expresiones Regulares

Propiedades de las Expresiones Regulares

Distributivas: ( + ) + . ( + ) + .

Expresiones Regulares

Motivacin Conjuntos Regulares y Expresiones Regulares Relacin entre ER y CR Propiedades de las Expresiones Regulares

Propiedades de las Expresiones Regulares

Invariantes para : , , ( ) =

Expresiones Regulares

Motivacin Conjuntos Regulares y Expresiones Regulares Relacin entre ER y CR Propiedades de las Expresiones Regulares

Propiedades de las Expresiones Regulares

La notacin + : + . = + + y la relacin de con la suma: ( + ) ( ) .

Expresiones Regulares