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
1
Idea
2
Ecuaciones Lineales
3
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:
q
0
aq
1
,
q
1
aq
1
|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:
q
0
aq
1
,
q
1
aq
1
|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:
L
0
= aL
1
,
L
1
= aL
1
{b}.
Expresiones Regulares
Idea
Ecuaciones Lineales
Equivalencia entre ER y GR
Ejemplo Sencillo
Supongamos que estos lenguajes estn generados por
lenguajes regulares:
X
0
= aX
1
,
X
1
= aX
1
+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:
X
0
= aX
1
,
X
1
= aX
1
+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
Denicin
Llamaremos sistema de ecuaciones lineales en expresiones
regulares a toda ecuacin del tipo siguiente:
_
_
_
X
1
.
.
.
X
n
_
_
_
=
_
_
_

1,1

1,n
.
.
.
.
.
.
.
.
.

n,1

n,n
_
_
_
_
_
_
X
1
.
.
.
X
n
_
_
_
+
_
_
_

1
.
.
.

n
_
_
_
,
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
Denicin
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 nito
.
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 verican las propiedades siguiente:
1
La ecuacin fundamental anterior posee una solucin
nica si y solamente si L().
2
La expresin regular

es siempre solucin de la
ecuacin fundamental anterior.
3
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 X
n
en la ltima ecuacin,
mediante la expresin siguiente:
X
n
:=

n,n
R
n
,
donde R
n
:=

n1
j =1

n,j
X
j
+
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:
X
i
:=
_
_
n1

j =1
_

i ,j
+
i ,n

n,n

n,j
_
X
j
_
_
+
_

i
+
i ,n

n,n

n
_
.
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 X
1
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 = {q
0
, . . . , q
n
} es el conjunto de los smbolos
no terminales, que supondremos de cardinal n +1. Denamos
un conjunto de variables {X
0
, . . . , X
n
} con el mismo cardinal y
con la asignacin q
i
X
i
como biyeccin.
Expresiones Regulares
Idea
Ecuaciones Lineales
Equivalencia entre ER y GR
Sistema Lineal asociado a una Gramtica
Denamos para cada i , 0 i n, la expresin regular
i
mediante la construccin siguiente. Consideremos todas las
producciones que comienzan en la variable q
i
y terminan en
elementos de {}. Supongamos que tales producciones
sean
q
i
a
1
| . . . | a
r
.
Denimos

i
:= a
1
+. . . +a
r
.
Si no hubiera ninguna produccin del tipo q
i
a {},
deniremos
i
:= .
Expresiones Regulares
Idea
Ecuaciones Lineales
Equivalencia entre ER y GR
Sistema Lineal asociado a una Gramtica
Para cada i y para cada j , deniremos el coeciente
i ,j
del
modo siguiente. Consideremos todas las producciones que
comienzan en el smbolo no terminal q
i
e involucran al smbolo
no terminal q
j
. Supongamos que tales producciones sean:
q
i
a
1
q
j
| | a
r
q
j
,
con a
k
{}. Entonces deniremos

i ,j
:= a
1
+ +a
r
.
Si no hubiera ninguna de tales producciones, deniremos

i ,j
:= .
Expresiones Regulares
Idea
Ecuaciones Lineales
Equivalencia entre ER y GR
Sistema Lineal asociado a una Gramtica
Denicin (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:
S(G) :=
_

_
_
_
_
X
0
.
.
.
X
n
_
_
_
=
_
_
_

0,1

0,n
.
.
.
.
.
.
.
.
.

n,0

n,n
_
_
_
_
_
_
X
0
.
.
.
X
n
_
_
_
+
_
_
_

0
.
.
.

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