Está en la página 1de 24

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
1
Motivacin e Ideas
2
La Derivacin Formalmente
3
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 aS | }).
Qu lenguaje genera?
Expresiones Regulares
Motivacin e Ideas
La Derivacin Formalmente
El Mtodo de las Derivaciones
El Lenguaje de los Prejos
Si nuestro lenguaje esta generado por ba

, entonces una
posible gramtica que genere el mismo lenguaje es:
G = ({S, S

}, {a, b}, S

, {S

bS, S aS | })
Expresiones Regulares
Motivacin e Ideas
La Derivacin Formalmente
El Mtodo de las Derivaciones
El Lenguaje de los Prejos
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 prejo


b.
Expresiones Regulares
Motivacin e Ideas
La Derivacin Formalmente
El Mtodo de las Derivaciones
Idea
Buscar estos lenguajes de prejos 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 prejo?
Expresiones Regulares
Motivacin e Ideas
La Derivacin Formalmente
El Mtodo de las Derivaciones
Derivacin Formal
Denicin
Sea un alfabeto nito, a un smbolo del alfabeto, y una
expresin regular sobre el alfabeto . Llamaremos derivada de
con respecto al smbolo a la expresin regular D
a
() con la
siguiente propiedad:
L(D
a
()) = {

: 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
D
a
() =

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
a
= , b , b = 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
( )
a
=

a
+t ()

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

si L(),
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)

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

= a(aa +bb)

.
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 nito ,
supongamos que = {a
1
, . . . , a
n
}. Entonces,
a
1
D
a
1
() + +a
n
D
a
n
() +t (),
donde t () es la funcin denida 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 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

También podría gustarte