Motivacin e Ideas

La Derivacin Formalmente
El Mtodo de las Derivaciones

Expresiones Regulares y Derivadas Formales

La Derivacin como Operacin.

Universidad de Cantabria

Expresiones Regulares

Motivacin e Ideas
La Derivacin Formalmente
El Mtodo de las Derivaciones

Esquema

Motivacin e Ideas

La Derivacin Formalmente

El Mtodo de las Derivaciones

Expresiones Regulares

Motivacin e Ideas
La Derivacin Formalmente
El Mtodo de las Derivaciones

Motivacin

Sabemos como son los conjuntos regulares y parece que hay

alguna relacin entre las gramticas regulares y las
expresiones regulares. Como hallar una gramtica a partir de
una expresin regular?

Expresiones Regulares

Motivacin e Ideas
La Derivacin Formalmente
El Mtodo de las Derivaciones

Ideas

Sea la siguiente expresin a .

Qu lenguaje genera?

Expresiones Regulares

Motivacin e Ideas
La Derivacin Formalmente
El Mtodo de las Derivaciones

Ideas

Tomemos la siguiente gramtica regular

G = ({S}, {a, b}, S, { S 7 aS | }).
Qu lenguaje genera?

Expresiones Regulares

Motivacin e Ideas
La Derivacin Formalmente
El Mtodo de las Derivaciones

El Lenguaje de los Prefijos

Si nuestro lenguaje esta generado por ba , entonces una

posible gramtica que genere el mismo lenguaje es:
G = ({S, S 0 }, {a, b}, S 0 , {S 0 7 bS, S 7 aS | })

Expresiones Regulares

Motivacin e Ideas
La Derivacin Formalmente
El Mtodo de las Derivaciones

El Lenguaje de los Prefijos

El lenguaje L(a ) se relaciona con L(ba ) porque todas las

palabras de L(a ) pertenecen a L(ba ) si se les aade el prefijo
b.

Expresiones Regulares

Motivacin e Ideas
La Derivacin Formalmente
El Mtodo de las Derivaciones

Idea

Buscar estos lenguajes de prefijos y tratar de hallar una

gramtica a partir de ellos.

Expresiones Regulares

Motivacin e Ideas
La Derivacin Formalmente
El Mtodo de las Derivaciones

Pregunta

Como hallar para un lenguaje generado por una expresin

regular las palabras que estn en ese mismo lenguaje
aadindole un prefijo?

Expresiones Regulares

Motivacin e Ideas
La Derivacin Formalmente
El Mtodo de las Derivaciones

Derivacin Formal

Definicin
Sea un alfabeto finito, a un smbolo del alfabeto, y una
expresin regular sobre el alfabeto . Llamaremos derivada de
con respecto al smbolo a la expresin regular Da () con la
siguiente propiedad:
L(Da ()) = { : a L()}.

Expresiones Regulares

Motivacin e Ideas
La Derivacin Formalmente
El Mtodo de las Derivaciones

Notacin

Por la relacin con las derivadas formales, utilizaremos la

siguiente notacin

Da () =
.
a

Expresiones Regulares

Motivacin e Ideas
La Derivacin Formalmente
El Mtodo de las Derivaciones

La Derivacin

Calculemos varias derivaciones de expresiones regulares

sencillas:

= ,
a

= ,
a

b
= , b , b 6= a.
a
a
= .
a

Expresiones Regulares

Motivacin e Ideas
La Derivacin Formalmente
El Mtodo de las Derivaciones

Expresiones Regulares Complejas

Si y son dos expresiones regulares sobre :

( + )

=
+
.
a
a
a

Expresiones Regulares

Motivacin e Ideas
La Derivacin Formalmente
El Mtodo de las Derivaciones

Expresiones Regulares Complejas

()
()
=
.
a
a

Expresiones Regulares

Motivacin e Ideas
La Derivacin Formalmente
El Mtodo de las Derivaciones

Expresiones Regulares Complejas

Ahora un poco para la concatenacin de expresiones

regulares:
( )

=
.
a
a
Pues no es cierto.

Expresiones Regulares

Motivacin e Ideas
La Derivacin Formalmente
El Mtodo de las Derivaciones

Expresiones Regulares Complejas

Ahora un poco para la concatenacin de expresiones

regulares:
( )

=
.
a
a
Pues no es cierto.

Expresiones Regulares

Motivacin e Ideas
La Derivacin Formalmente
El Mtodo de las Derivaciones

Expresiones Regulares Complejas

( )

=
+ t() ,
a
a
a
donde t() es la funcin dada por la identidad siguiente:



si L(),
t() :=
en caso contrario.

Expresiones Regulares

Motivacin e Ideas
La Derivacin Formalmente
El Mtodo de las Derivaciones

Ejemplo

Veamos la derivacin de la expresin regular a :

(a)
(a)
=
(a) = a .
a
a

Expresiones Regulares

Motivacin e Ideas
La Derivacin Formalmente
El Mtodo de las Derivaciones

Ejemplo

Las derivaciones de la expresin regular (aa + bb) :

(aa + bb)
(aa + bb)
=
(aa + bb) = a(aa + bb) .
a
a

Expresiones Regulares

Motivacin e Ideas
La Derivacin Formalmente
El Mtodo de las Derivaciones

No Funciona el Camino Fcil

Las derivadas no vuelven las expresiones regulares ms

sencillas. Pero si que dan informacin sobre el lenguaje
generado.
L(a ) = aL(a ) .
Y esto se traduce a una gramtica.

Expresiones Regulares

Motivacin e Ideas
La Derivacin Formalmente
El Mtodo de las Derivaciones

Regla de Leibnitz

Teorema (Regla de Leibnitz para Expresiones Regulares)

Dada una expresin regular sobre un alfabeto finito ,
supongamos que = {a1 , . . . , an }. Entonces,
a1 Da1 () + + an Dan () + t(),
donde t() es la funcin definida anteriormente.

Expresiones Regulares

Motivacin e Ideas
La Derivacin Formalmente
El Mtodo de las Derivaciones

Aplicacin

Asignemos a cada expresin una variable, y cada expresin

regular y a partir de la Regla de Leibnitz hallemos la gramtica:
L(a ) = aL(a ) {.}

Expresiones Regulares

Motivacin e Ideas
La Derivacin Formalmente
El Mtodo de las Derivaciones

Aplicacin

Demos a cada expresin una variable, y cada expresin

regular y a partir de la Regla de Leibnitz hallemos la gramtica:
S 7 aS | .

Expresiones Regulares

Motivacin e Ideas
La Derivacin Formalmente
El Mtodo de las Derivaciones

Aplicacin

El mismo resultado se aplica para (a + b)a , (a + b) . Pero,

que ocurre cuando las derivaciones son expresiones
regulares igual de complejas?
Como aplicar lo mismo para una expresin ms compleja?

Expresiones Regulares