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 finitos,
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 finitos,
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 finitos,
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 definimos nuestro

lenguaje = {a, b} y tenemos estos lenguajes
L1 := aa, ab, L2 := ba, bb.
Podemos definir estos nuevos lenguajes:
L1 L2 := {aa, ab, ba, bb},
L1 L2 := {aaba, abbb, abba, aabb},
L1 := {aa, ab, aaaa, aaab, abaa, abab, . . .}.

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 definimos nuestro

lenguaje = {a, b} y tenemos estos lenguajes
L1 := aa, ab, L2 := ba, bb.
Podemos definir estos nuevos lenguajes:
L1 L2 := {aa, ab, ba, bb},
L1 L2 := {aaba, abbb, abba, aabb},
L1 := {aa, ab, aaaa, aaab, abaa, abab, . . .}.

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 definimos nuestro

lenguaje = {a, b} y tenemos estos lenguajes
L1 := aa, ab, L2 := ba, bb.
Podemos definir estos nuevos lenguajes:
L1 L2 := {aa, ab, ba, bb},
L1 L2 := {aaba, abbb, abba, aabb},
L1 := {aa, ab, aaaa, aaab, abaa, abab, . . .}.

Expresiones Regulares

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

Definicin

Definicin (Conjuntos regulares)

Sea un alfabeto finito. Un conjunto regular es cualquier
conjunto definido 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

Definicin
Definicin (Expresiones Regulares)
Sea un alfabeto finito. Llamaremos expresin regular sobre
el alfabeto a toda palabra sobre el alfabeto 1 definido 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

Definicin
Sea un alfabeto finito. 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 definido 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

Definicin
Diremos que dos expresiones regulares y son
tautolgicamente equivalentes (o, simplemente, equivalentes)
si se verifica:
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