Idea

Ecuaciones Lineales
Equivalencia entre ER y GR

Expresiones Regulares y Gramticas

Regulares
Sistemas Lineales.

Universidad de Cantabria

Expresiones Regulares

Idea
Ecuaciones Lineales
Equivalencia entre ER y GR

Esquema

Idea

Ecuaciones Lineales

Equivalencia entre ER y GR

Expresiones Regulares

Idea
Ecuaciones Lineales
Equivalencia entre ER y GR

Problema

Nos preguntamos si las expresiones regulares generan los

mismos lenguajes que las gramticas regulares.
Sabemos que a partir de una expresin regular podemos hallar
una gramtica regular que genera el mismo lenguaje, pero no
sabemos el recproco.

Expresiones Regulares

Idea
Ecuaciones Lineales
Equivalencia entre ER y GR

Problema

Nos preguntamos si las expresiones regulares generan los

mismos lenguajes que las gramticas regulares.
Sabemos que a partir de una expresin regular podemos hallar
una gramtica regular que genera el mismo lenguaje, pero no
sabemos el recproco.

Expresiones Regulares

Idea
Ecuaciones Lineales
Equivalencia entre ER y GR

Ejemplo Sencillo

Si tenemos la siguiente gramtica regular:

q0
q1

7 aq1 ,
7 aq1 |b.

Existe una expresin regular que lo genera?

Cosas que podemos deducir: las palabras empiezan por a,
terminan en b...

Expresiones Regulares

Idea
Ecuaciones Lineales
Equivalencia entre ER y GR

Ejemplo Sencillo

Si tenemos la siguiente gramtica regular:

q0
q1

7 aq1 ,
7 aq1 |b.

Existe una expresin regular que lo genera?

Cosas que podemos deducir: las palabras empiezan por a,
terminan en b...

Expresiones Regulares

Idea
Ecuaciones Lineales
Equivalencia entre ER y GR

Ejemplo Sencillo

Cosas que podemos hacer:

Consideremos diferentes gramticas, donde las producciones
son las mismas pero tienen diferentes smbolos iniciales y a
cada uno de ellos se le asocia un lenguaje.

Expresiones Regulares

Idea
Ecuaciones Lineales
Equivalencia entre ER y GR

Ejemplo Sencillo

Obtengo esta ecuacin de conjuntos:

L0 =
L1 =

aL1 ,
aL1 {b}.

Expresiones Regulares

Idea
Ecuaciones Lineales
Equivalencia entre ER y GR

Ejemplo Sencillo

Supongamos que estos lenguajes estn generados por

lenguajes regulares:
X0 =
X1 =

aX1 ,
aX1 + b.

Vamos a suponer que todos estos lenguajes son dados por

una expresin regular, como hallar una expresin regular que
lo genere?

Expresiones Regulares

Idea
Ecuaciones Lineales
Equivalencia entre ER y GR

Ejemplo Sencillo

Supongamos que estos lenguajes estn generados por

lenguajes regulares:
X0 =
X1 =

aX1 ,
aX1 + b.

Vamos a suponer que todos estos lenguajes son dados por

una expresin regular, como hallar una expresin regular que
lo genere?

Expresiones Regulares

Idea
Ecuaciones Lineales
Equivalencia entre ER y GR

Ecuaciones Lineales

Definicin
Llamaremos sistema de ecuaciones lineales en expresiones
regulares a toda ecuacin del tipo siguiente:

X1
1,1 1,n
X1
1
.. ..
.. .. + .. ,
..
. = .
.
. . .
Xn

n,1

n,n

Xn

donde los i,j y los k son expresiones regulares sobre un

alfabeto .

Expresiones Regulares

Idea
Ecuaciones Lineales
Equivalencia entre ER y GR

Ecuacin Fundamental

Definicin
Se denomina ecuacin lineal fundamental en expresiones
regulares a la ecuacin lineal en una variable X siguiente:
X = X + ,
donde y son expresiones regulares sobre un alfabeto finito
.

Expresiones Regulares

Idea
Ecuaciones Lineales
Equivalencia entre ER y GR

Lema de Arden
Teorema (Lema de Arden)
Dada la ecuacin fundamental siguiente:
X = X + ,
donde , son expresiones regulares sobre un alfabeto .
Se verifican las propiedades siguiente:
1

La ecuacin fundamental anterior posee una solucin

nica si y solamente si 6 L().
La expresin regular es siempre solucin de la
ecuacin fundamental anterior.
Si L(), para cualquier expresin regular , la
expresin ( + ) es una solucin de la ecuacin
fundamental.
Expresiones Regulares

Idea
Ecuaciones Lineales
Equivalencia entre ER y GR

Resolucin Gausiana

El caso n = 1 se resuelve mediante el Lema de Arden. Para el

caso n > 1, usaremos un doble paso:
Despejar. Podemos despejar Xn en la ltima ecuacin,
mediante la expresin siguiente:

Rn ,
Xn := n,n

donde Rn :=

Pn1
j=1

n,j Xj + n .

Expresiones Regulares

Idea
Ecuaciones Lineales
Equivalencia entre ER y GR

Resolucin Gausiana

Sustituir. Podemos sustituir la expresin anterior en el resto de

las ecuaciones obteniendo un nuevo sistema de (n 1)
ecuaciones en (n 1) variables. Este sistema viene dado,
obviamente, por las expresiones siguientes para 1 i n 1:

n1
X

Xi :=
i,j + i,n n,n
n,j Xj + i + i,n n,n
n .
j=1

Expresiones Regulares

Idea
Ecuaciones Lineales
Equivalencia entre ER y GR

Resolucin Gausiana

Levantamiento. Una vez llegados al caso n = 1, se obtiene una

expresin regular vlida para X1 y se procede a levantar el
resto de las variables usando las expresiones obtenidas en la
fase de despejado.

Expresiones Regulares

Idea
Ecuaciones Lineales
Equivalencia entre ER y GR

Sistema Lineal asociado a una Gramtica

Supongamos V = {q0 , . . . , qn } es el conjunto de los smbolos

no terminales, que supondremos de cardinal n + 1. Definamos
un conjunto de variables {X0 , . . . , Xn } con el mismo cardinal y
con la asignacin qi 7 Xi como biyeccin.

Expresiones Regulares

Idea
Ecuaciones Lineales
Equivalencia entre ER y GR

Sistema Lineal asociado a una Gramtica

Definamos para cada i, 0 i n, la expresin regular i
mediante la construccin siguiente. Consideremos todas las
producciones que comienzan en la variable qi y terminan en
elementos de {}. Supongamos que tales producciones
sean
qi 7 a1 | . . . | ar .
Definimos
i := a1 + . . . + ar .
Si no hubiera ninguna produccin del tipo qi 7 a {},
definiremos i := .

Expresiones Regulares

Idea
Ecuaciones Lineales
Equivalencia entre ER y GR

Sistema Lineal asociado a una Gramtica

Para cada i y para cada j, definiremos el coeficiente i,j del
modo siguiente. Consideremos todas las producciones que
comienzan en el smbolo no terminal qi e involucran al smbolo
no terminal qj . Supongamos que tales producciones sean:
qi 7 a1 qj | | ar qj ,
con ak {}. Entonces definiremos
i,j := a1 + + ar .
Si no hubiera ninguna de tales producciones, definiremos
i,j := .

Expresiones Regulares

Idea
Ecuaciones Lineales
Equivalencia entre ER y GR

Sistema Lineal asociado a una Gramtica

Definicin (Sistema asociado a una gramtica)

Dada una gramtica G = (V , , q, P) llamaremos sistema
asociado a G y lo denotaremos por S(G) al sistema:

0,1 0,n
X0
0

X0

.. .. + .. ,
..
S(G) := ... = ...

.
.
.
.

Xn
n,0 n,n
Xn
n
dado por las anteriores reglas de construccin.

Expresiones Regulares

Idea
Ecuaciones Lineales
Equivalencia entre ER y GR

Equivalencia entre ER y GR

Teorema
Con las anteriores notaciones, sea (0 , . . . , n ) una solucin
del sistema S(G) asociado a una gramtica G. Entonces, L(0 )
es el lenguaje generado por la gramtica G.

Expresiones Regulares