Teoremas de Punto Fijo para Retculos

Booleanos Completos y Algunas Aplicaciones a

los Lenguajes Formales
Jose L. Ramrez
1
and Rodrigo de Castro
2
1
Escuela de Matematicas, Universidad Sergio Arboleda,
Bogota, Colombia
josel.ramirez@correo.usa.edu.co;jolura1@gmail.com
2
Departamento de Matematicas, Universidad Nacional de Colombia,
Bogota, Colombia
rdecastrok@unal.edu.co
Resumen En este artculo se aborda el estudio de teoremas de pun-
to jo sobre retculos booleanos completos con el n de ser aplicados a
una clase de funciones entre lenguajes, llamadas funciones polinomiales.
Estas funciones permiten caracterizar los lenguajes regulares como una
componente del menor punto jo de una determinada funcion polino-
mial. Ademas, permiten solucionar algunas ecuaciones sobre lenguajes,
en particular se demuestra el lema de Arden y una generalizacion de este.
Palabras Claves: Ecuaciones sobre lenguajes, funciones polinomiales
sobre lenguajes, teoremas de punto jo, retculos booleanos completos,
Lema de Arden.
Abstract In this paper we study xed-point theorems on complete boo-
lean lattices and their applications to a class of functions between langua-
ges, called polynomial functions. These functions allow to characterize
regular languages as one component of the minor xed point of a gi-
ven polynomial function. Also, we show how to solve some languages
equations, and oer an alternative proof for Ardens lemma and a gene-
ralization of it.
Keywords: Languages equations, languages polynomial functions, xed-
point theorems, complete boolean lattices, Ardens lemma.
1. Introduccion
Un resultado bien conocido en la Teora de la Computacion es el Teorema
de Kleene, el cual arma que un lenguaje es regular si y solo si es aceptado por
un automata nito. Una forma de probar una de las direcciones del teorema
es asociando un sistema de ecuaciones al automata; dicho sistema se reduce a
una sola ecuacion, cuya solucion es precisamente el lenguaje aceptado por el
automata, que es a su vez una expresion regular. Para solucionar el sistema de
ecuaciones se aplica reiteradamente el llamado Lema de Arden.
2 Jose L. Ramrez and Rodrigo de Castro
Esta forma de solucionar sistemas de ecuaciones conlleva a que los lenguajes
regulares se puedan caracterizar como una componente del menor punto jo de
una determinada funcion polinomial entre lenguajes. Esta caracterizacion puede
extenderse a los Lenguajes Independientes de Contexto (LIC) y esta basada en
un resultado conocido como el Teorema de Ginsburg-Rice. Este teorema aunque
es clasico, no es muy conocido en la literatura y pocas veces se menciona en los
cursos de Teora de la Computacion [2].
En este artculo proponemos un teorema de punto jo para retculos boo-
leanos que garantiza la existencia de puntos jos, exhibe todos ellos y da una
condicion necesaria y suciente para que haya un unico punto jo. Luego apli-
camos este teorema a una clase especial de funciones entre lenguajes, llamadas
funciones polinomiales. Finalmente mostramos como algunas familias de estas
funciones permiten caracterizar los lenguajes regulares. Ademas, se solucionan
algunas ecuaciones sobre lenguajes en particular el Lema de Arden y algunas
extensiones de este, los cuales resultan como casos particulares del teorema de
punto jo.
Esta forma de abordar el estudio como un problema de retculos no es muy
conocida; lo mas cercano es el trabajo de Kupka [4], el cual prueba el Lema de
Arden como un caso particular de un teorema de punto jo.
En general el estudio de las ecuaciones sobre lenguajes es una lnea de inves-
tigacion en Teora de la Computacion, cuyos primeros resultados son debidos a
Ginsburg y Rice hacia el a no 1962, quienes caracterizaron los LIC a partir de
sistemas ecuaciones. Despues apareceran algunos resultados ocasionarles en esta
area; sin embargo, es en los ultimos a nos en los que se ha retomado el estudio
en esta lnea de trabajo, utilizando herramientas matematicas mas complejas.
Se destacan los trabajos de Leiss [5] donde se desarrollan distintas tecnicas para
abordar algunas ecuaciones, Kari (1994) estudio ecuaciones con operaciones no
usuales, Kunc (2005) estudio la ecuacion XL = LX, donde L es un lenguaje
regular, pero sin duda uno de los autores que mas trabajos ha desarrollado en
esta area es Alexander Okhotin quien ha estudiado ecuaciones e inecuaciones
con todas las operaciones booleanas [3] y [7].
Este documento esta dividido en cinco secciones. En la segunda seccion se
presenta el teorema de punto jo sobre retculos booleanos. La tercera seccion
esta dedicada las funciones polinomiales entre lenguajes. En la cuarta seccion
se aplican los teoremas de punto jo en la demostracion del lema de Arden y
algunas extensiones de este. Tambien se caracterizan los lenguajes regulares,
como el menor punto jo de una determinada funcion polinomial.
2. Teoremas de Punto Fijo en Retculos Booleanos
Hay dos teoremas de punto jo fundamentales que garantizan la existencia
de puntos jos de funciones denidas sobre ciertos conjuntos ordenados, a saber:
Teorema 1 (Knaster-Tarski). Sean (P, ) un retculo completo, T : P P
una aplicacion monotona (es decir, si x y entonces T(x) T(y), para todo
Teoremas de Punto Fijo y Algunas Aplicaciones a los Lenguajes Formales 3
x, y P) y Fix = {x P : T(x) = x} el conjunto de puntos jos. Entonces se
tiene lo siguiente:
(i) Fix es no vaco.
(ii) Fix es un retculo completo.
(iii)

{x P : x T (x)} =

Fix = p

y p

Fix.
(iv)

{x P : T (x) x} =

Fix = p

y p

Fix.
Por lo tanto, p

es el mayor punto jo de T y p

es el menor punto jo de T.
Demostracion. Ver [1] o [8].
Denicion 1. Un subconjunto no vaco D de un conjunto parcialmente orde-
nado P es dirigido si todo par de elementos de D esta acotado superiormente en
D.
El siguiente teorema es importante ya que no solo garantiza la existencia de
puntos jos, sino que tambien exhibe explcitamente el menor punto jo.
Teorema 2. Sea P un CPO (es decir, un conjunto ordenado con elemento mni-
mo y con sups de subconjuntos dirigidos) y T : P P una funcion continua
(es decir, T (
_
(D)) =
_
(T (D)), para todo conjunto dirigido D), entonces T
tiene un punto jo mnimo dado por
:=

n0
T
n
()
Demostracion. Ver [1].
El teorema que proponemos en el presente artculo combina en cierta forma
los Teoremas 1 y 2. Las hipotesis son mas fuertes pero la conclusion tambien lo
es: no solo se garantiza la existencia de puntos jos sino que se exhiben todos
ellos y se da una condicion necesaria y suciente para que haya un unico punto
jo. Esta condicion de unicidad es la que da lugar a la caracterizacion de los
lenguajes regulares y permite solucionar algunas ecuaciones sobre lenguajes.
El teorema se reere a funciones T : P P donde P es un retculo booleano
completo, es decir un retculo completo con el orden inducido por las opera-
ciones , ; a saber, x y si y solo si xy = x o xy = y, ademas, el elemento
maximo se denota con 1 y el elemento mnimo con 0.
Por lo tanto si S es un conjunto no vaco, entonces el conjunto de partes

(S)
es un retculo booleano bajo la union e interseccion. En particular el conjunto

), donde el conjunto

es el de todas las cadenas sobre un alfabeto ,

incluyendo la cadena vaca, es un retculo booleano bajo la union e interseccion,
el elemento maximo es

y el elemento mnimo es . En general

)
n
es un
retculo booleano.
4 Jose L. Ramrez and Rodrigo de Castro
Denicion 2. Sea P un retculo booleano. Un operador G : P P preserva
sups contables si G(
_
n0
X
n
) =
_
n0
G(X
n
), para cualquier familia contable
{X
n
}
n0
de subconjuntos de P.
Notese que si un operador G preserva sups entonces es monotono.
Teorema 3. Sea P un retculo booleano con el orden inducido por las operacio-
nes e , K un subconjunto (jo) de P y G : P P un operador que preserva
uniones contables. Si T : P P esta denido por T(X) = G(X) K, entonces
(i) X
0
:=
_
n0
G
n
(K) es un punto jo de T. Ademas, X
0
es el punto jo mas
peque no; es decir, si X es un punto jo de T entonces X
0
X (se entiende
que G
0
(K) = K).
(ii) Si Fix(T) denota la coleccion de todos los puntos jos de T entonces
Fix(T) =
_

n0
G
n
(K Y ) : Y G(Y )
_
.
(iii) X
0
es el unico punto jo de T si y solo si G es no-extensiva, i.e., Y G(Y )
implica Y = 0.
Demostracion. (i) Sea X
0
:=
_
n0
G
n
(K), entonces
T(X
0
) = T
_

n0
G
n
(K)
_
= G
_

n0
G
n
(K)
_
K
=

n0
G
n+1
(K) K = X
0
.
Si X es un punto jo de T entonces
X = T(X) = G(X) K
por lo tanto, K X. Tambien se tiene que G(K) X, en efecto aplicando G a
la igualdad anterior se obtiene que
G(X) = G(G(X) K) = G(G(X)) G(K)
entonces G(K) G(X) X; a partir de esta desigualdad y usando induccion
sobre n, se puede demostrar que G
n
(K) X para todo n 1. As, X
0
X.
(ii) Es facil ver que para cualquier Y con Y G(Y ), el conjunto
_
n0
G
n
(KY )
es un punto jo de T. Recprocamente, sea X un punto jo de T. Entonces, por
(i), X
0
X luego X puede escribirse como X = X
0
Y donde Y X
0
= 0. Por
consiguiente
X
0
Y = T(X
0
Y ) = G(X
0
Y ) K = G(X
0
) G(Y ) K
= F(X
0
) G(Y ) = X
0
G(Y ).
(1)
Teoremas de Punto Fijo y Algunas Aplicaciones a los Lenguajes Formales 5
Interceptando ambos lados de (1) con Y se concluye que Y = Y G(Y ), de donde
Y G(Y ). Ademas, usando (1) e induccion matematica se pude demostrar que
X
0
G
n
(Y ) = X
0
G
n+1
(Y ) para todo n 0. As que
X = X
0
Y = X
0

n0
G
n
(Y ) =

n0
G
n
(K Y )
lo que demuestra (ii).
(iii) Se deduce inmediatamente de (ii).
Corolario 1. Sea S un conjunto no vaco, K un subconjunto (jo) de S y
G :

(S)

(S) un operador que preserva uniones contables. Si
T :

(S)

(S) esta denido por T(X) = G(X) K, entonces

(i) X
0
:=

n0
G
n
(K) es un punto jo de T. Ademas, X
0
es el punto jo mas
peque no; es decir, si X es un punto jo de T entonces X
0
X (se entiende
que G
0
(K) = K).
(ii) Si Fix(T) denota la coleccion de todos los puntos jos de T entonces
Fix(T) =
_
_
n0
G
n
(K Y ) : Y G(Y )
_
.
(iii) X
0
es el unico punto jo de T si y solo si G es no-extensiva, i.e., Y G(Y )
implica Y = .
Notese que si K = , entonces la parte (i) del corolario 1 es consecuencia del
Teorema 2.
3. Funciones Polinomiales
A continuacion se introduce una clase especial de funcion entre lenguajes
denominadas funciones polinomiales [9] y se estudian sus puntos jos. Esto per-
mitira solucionar ecuaciones sobre lenguajes y a su vez caracterizar los lenguajes
regulares.
Sea un alfabeto dado, entonces
_

)
_
n
denotara el conjunto de las
n-uplas donde cada componente es un lenguaje sobre , es decir
_

)
_
n
:= {(L
1
, L
2
, . . . , L
n
) : L
i

, 1 i n} .
Si (L
1
, L
2
, . . . L
n
)
_

)
_
n
, entonces la n-upla la escribiremos como L.
Si L = (L
1
, L
2
, . . . L
n
) y K = (K
1
, K
2
, . . . K
n
)
_

)
_
n
, entonces diremos
que L K si L
i
K
i
, para 1 i n. Notaremos la n-upla (, , . . . , ) como .
Si f es una funcion n-aria f :
_

)
_
n

) usaremos la nota-
cion f (L) para f ((L
1
, L
2
, . . . L
n
)). Estas funciones se pueden combinar de una
manera natural a partir de la union y la concatenacion.
6 Jose L. Ramrez and Rodrigo de Castro
Denicion 3. Sean f, g :
_

)
_
n

), entonces las funciones union

f g y producto fg, se denen como
f g :
_

)
_
n

)
(f g) (X) = f (X) g (X)
fg :
_

)
_
n

)
(fg) (X) = f (X) g (X)
para todo X

)
n
.
A una sucesion nita de funciones n-arias la notaremos por (f
1
, f
2
, . . . , f
m
),
donde f
i
:
_

)
_
n

) para 1 i m y n 1.
Denicion 4. Sea (f
1
, f
2
, . . . , f
m
) una sucesion nita de funciones n-arias, en-
tonces la union

1im
f
i
y el producto

1im
f
i
se denen como
_
_
_
1im
f
i
_
_
(X) :=
_
1im
f
i
(X)
_
_

1im
f
i
_
_
(X) :=

1im
f
i
(X)
para todo X
_

)
_
n
.
Denicion 5. Sea (f
1
, f
2
, . . . f
m
) una sucesion nita de funciones n-arias, en-
tonces la funcion f :
_

)
_
n

)
_
m
, se dene como
f (X) = (f
1
(X), f
2
(X), . . . , f
m
(X))
para todo X
_

)
_
n
. Diremos que f
1
, f
2
, . . . , f
m
son las componentes de
f.
A continuacion denimos la funcion constante y la funcion proyeccion, ya
que a partir de estas se denen recursivamente las funciones polinomiales.
Denicion 6. Sea L

un lenguaje sobre , la funcion constante

C
L
:
_

)
_
n

) se dene como
C
L
(X) = C
L
(X
1
, X
2
, . . . , X
n
) = L
para todo X
1
, X
2
, . . . , X
n

) y n 1.
La funcion proyeccion P
n
i
:
_

)
_
n

) se dene como
P
n
i
(X) = P
n
i
(X
1
, X
2
, . . . , X
n
) = X
i
para todo X
1
, X
2
, . . . , X
n

) y 1 i n.
Teoremas de Punto Fijo y Algunas Aplicaciones a los Lenguajes Formales 7
Denicion 7. Una funcion n-aria f es una funcion polinomial si:
1. f es una funcion constante o una proyeccion n-aria.
2. Si f, g son funciones polinomiales, entonces tambien lo son f g y fg.
Ejemplo 1. Las siguientes son funciones polinomiales.
(i) f(X) = AXB. Puesto que f(X) = AX B = C
A
(X)P
1
1
(X) C
B
(X)
(ii) f(X) = XX {aa}. Puesto que
f(X) = XX {aa} = P
1
1
(X)P
1
1
(X) C
{aa}
(X).
(iii) f(X
1
, X
2
) = aX
1
X
2
X
1
{a, b} X
2
{a}

. En este ultimo ejemplo se

tiene que
f(X
1
, X
2
) =C
{a}
(X
1
X
2
)P
2
1
(X
1
X
2
)P
2
2
(X
1
X
2
)
P
2
1
(X
1
X
2
)C
{a,b}
(X
1
X
2
)P
2
2
(X
1
X
2
) C
{a}
(X
1
X
2
)
Denicion 8. Sea f :
_

)
_
n

)
_
m
, donde f = (f
1
, f
2
, . . . , f
m
).
Diremos que f es una funcion polinomial si cada componente f
i
es polinomial.
Denicion 9. Sean f :
_

)
_
m

) y g
i
:
_

)
_
n

)
para 1 i m, se dene la funcion f (g
1
, . . . , g
m
) :
_

)
_
n

)
_
como
f (g
1
, . . . , g
m
) (X) = f (g
1
(X) , . . . , g
m
(X))
para todo X
_

)
_
n
.
Es claro que si f, g :

(

)

(

) son funciones constantes o pro-

yecciones, entonces tambien lo es f (g (L)) y por induccion se prueba que si
f :
_

)
_
m

) y g
i
:
_

)
_
n

) para 1 i m, son
polinomiales entonces tambien lo es f (g
1
, . . . , g
m
). Esto se resume en el siguiente
teorema.
Teorema 4. Si f es una funcion polinomial n-aria y g
i
:
_

)
_
n

)
para 1 i m son polinomiales, entonces f (g
1
, . . . , g
m
) es polinomial.
Corolario 2. Si f :
_

)
_
n

)
_
n
es polinomial, entonces la k-
esima iteracion de f es polinomial.
Demostracion. Sea f = (f
1
, . . . f
m
), como f es polinomial, entonces f
i
(1
i n) es polinomial. Como f
k
= ff
k1
y por induccion se tiene que f
k1
es
polinomial, entonces por el teorema anterior f
k
es polinomial.
8 Jose L. Ramrez and Rodrigo de Castro
3.1. Puntos Fijos de Funciones Polinomiales
A continuacion probaremos que toda funcion polinomial tiene al menos un
punto jo y mostraremos como encontrar el menor de ellos; este resultado sera una
aplicacion directa del teorema de punto jo sobre retculos booleanos. Para tal
n probaremos los siguientes dos lemas relacionados con monotona y la conti-
nuidad de funciones polinomiales.
Lema 1. Si K L para L, K
_

)
_
n
entonces f(K) f(L) para toda
funcion polinomial f.
Demostracion. El argumento es por induccion sobre la denicion de funcion
polinomial. Si f es constante o una proyeccion, se tiene claramente la propiedad.
Supongamos que f, g :
_

)
_
n

) verican la propiedad, si K L
entonces f(K) f(L) y g(K) g(L), luego f(K) g(K) f(L) g(L) y
f(K)g(K) f(L)g(L), as la union y el producto son monotonas.
Denicion 10. Sean L
1
, L
2
, . . . n-uplas de lenguajes, L
i

_

)
_
n
,
i 1, donde L
i
= (L
i1
, . . . , L
in
). Se dene

{L
i
: i 1} como la n-upla
L = (L

1
, . . . , L

n
), donde
L

s
=
_
{L
is
: i 1} , 1 s n.
Lema 2. Sea f una funcion polinomial, entonces para toda sucesion creciente
de n-uplas L
1
, L
2
, . . ., con L
i
L
j
, para i j, se tiene que
f
_
_
_
i1
L
i
_
_
=
_
i1
f (L
i
) .
Demostracion. Puesto que L
j


i1
L
i
entonces por el lema 1 se tiene que
f (L
j
) f
_

i1
L
i
_
para todo j 1, entonces

i1
f (L
i
) f
_

i1
L
i
_
.
La implicacion recproca se prueba por induccion sobre la denicion de funcion
polinomial. Si f es constante o una proyeccion se tiene claramente la propiedad.
Supongamos que la propiedad es valida para f y g, entonces
(f g)
_
_
_
i1
L
i
_
_
= f
_
_
_
i1
L
i
_
_
g
_
_
_
i1
L
i
_
_

_
i1
f (L
i
)
_
i1
g (L
i
)
=
_
i1
(f g) (L
i
)
Teoremas de Punto Fijo y Algunas Aplicaciones a los Lenguajes Formales 9
ademas
(fg)
_
_
_
i1
L
i
_
_
= f
_
_
_
i1
L
i
_
_
g
_
_
_
i1
L
i
_
_

_
i1
f (L
i
)
_
i1
g (L
i
)
Sea w (fg)
_

i1
L
i
_
entonces por lo anterior w

i1
f (L
i
)

i1
g (L
i
)
es decir w = uv, donde u

i1
f (L
i
) y v

i1
g (L
i
), por lo tanto
u f(L
j
) y v g(L
k
) para alg un j, k 1. Sea m = max {j, k} entonces
uv f (L
m
) g (L
m
) = (fg) (L
m
), es decir w = uv

i1
(fg) (L
i
).
Corolario 3. Sea f :
_

)
_
n

)
_
n
una funcion polinomial, en-
tonces f es monotona y continua.
Denicion 11. Una n-upla L
_

)
_
n
es un punto jo de f si L = f (L).
Teorema 5. Sean f
1
, . . . f
n
funciones polinomiales sobre

(

), entonces
f = (f
1
, . . . f
n
) tiene al menos un punto jo. Ademas, la n-upla =

i0
f
i
()
es el menor punto jo.
Demostracion. Por el corolario 3 se tiene que f es continua sobre

)
n
, el
cual es un CPO, luego por el teorema 2 se tiene que es el menor punto jo de
f.
Ejemplo 2. Al aplicar el teorema anterior a la funcion polinomial f(X) = AXB
se obtiene que su menor punto jo es:
_
i0
f
i
() = B AB A
2
B = A

B.
La unicidad en el teorema 5 no se tiene en general, como lo muestra el
siguiente ejemplo adaptado de [6].
Ejemplo 3. f(X) = XX {aa} tiene innitos puntos jos. En particular el
lenguaje L
k
= L
0
L
0k
, es un punto jo para todo k 0, donde
L
0
=
_
a
2n
: n 0
_
L
0k
=
_
a
2n+k
: n 0
_
En efecto, para todo k 0 se tiene que
L
k
L
k
= (L
0
L
0k
) (L
0
L
0k
)
= L
0
L
0
L
0
L
0k
L
0k
L
0
L
0k
L
0k
=
_
a
2n
: n 0
_

_
a
2n
a
2m+k
: n, m 0
_

_
a
2n+k
a
2m
: n, m 0
_

_
a
2n+k
a
2m+k
: n, m 0
_
=
_
a
2n
: n 0
_

_
a
2s+k
: s 0
_

_
a
2s+k
: s 0
_

_
a
2s+2k
: s 0
_
=
_
a
2n
: n 0
_

_
a
2s+k
: s 0
_
= L
0
L
0k
10 Jose L. Ramrez and Rodrigo de Castro
Entonces L
k
L
k
{aa} = L
0
L
0k
{aa} = L
0
L
0k
= L
k
L
k
, para todo k 0.
4. Lema de Arden y Lenguajes Regulares
A continuacion utilizaremos los teoremas de punto jo para demostrar el
Lema de Arden, el cual garantiza no solo la existencia, sino tambien la unicidad
de la solucion de la ecuacion X = AX B. Luego aplicaremos el teorema de
punto jo 5 para una caracterizacion de los lenguajes regulares y se utilizara el
Lema de Arden para encontrar el menor punto jo.
Lema 3 (Lema de Arden). Si A y B son lenguajes sobre un alfabeto y
/ A, entonces la funcion lineal T(X) = AX B tiene un unico punto jo
dado por X = A

B. En otras palabras, la ecuacion AX B = X tiene una

unica solucion dada por X = A

B.
Demostracion. La idea es utilizar el corolario 1, para ello denimos T (X) =
G(X) B, donde G(X) = AX. Probaremos que G(X) preserva uniones conta-
bles, en efecto:
G
_
_
_
n0
L
n
_
_
= A
_
n0
L
n
=
_
n0
AL
n
=
_
n0
G(L
n
)
donde {L
n
}
n0
es una familia contable de lenguajes sobre el alfabeto . Ademas,
G(X) es no extensiva, si L G(L) = AL y se tuviera que L = , existira una
cadena u L de longitud mnima. Entonces u = vw, con v A, w L.
Como / A, v = ; por consiguiente |w| < |u|. Esta contradiccion muestra que
necesariamente L = , luego G es no extensiva. As por el corolario 1, T tiene
un unico punto jo dado por
X
0
=
_
n0
G
n
(B) =
_
n0
(A
n
B) = A

B
tal como se quera.
Una prueba de este lema utilizando otro teorema de punto jo se encuentra en
[4].
Corolario 4. Si A y B son lenguajes sobre un alfabeto y / A, entonces la
ecuacion X = XA B tiene una unica solucion dada por X = BA

Teorema 6. Si A y B son lenguajes sobre un alfabeto y A, entonces Z

es una solucion de la ecuacion X = AX B si y solo si Z = A

(B D) para
alg un D

.
Demostracion. Resulta de aplicar la segunda parte del corolario 1.
A continuacion presentamos una primera generalizacion del Lema de Arden.
Teoremas de Punto Fijo y Algunas Aplicaciones a los Lenguajes Formales 11
Lema 4. Si A, B y C son lenguajes sobre un alfabeto y / (A B), entonces
la ecuacion X = AXB C tiene una unica solucion dada por
X =

_
n=0
(A
n
CB
n
)
Demostracion. Sea T (X) = G(X) C, donde G(X) = AXB, entonces G(X)
preserva uniones contables, en efecto:
G
_
_
_
n0
L
n
_
_
= A
_
n0
L
n
B =
_
n0
AL
n
B =
_
n0
G(L
n
)
donde {L
n
}
n0
es una familia contable de lenguajes sobre el alfabeto . Ademas,
G(X) es no extensiva, si L G(L) = ALB y se tuviera que L = , existira
una cadena u L de longitud mnima. Entonces u = vws, con v A, w L,
s B. Como / (A B), entonces v = o s = ; por consiguiente |w| < |u|.
Esta contradiccion muestra que necesariamente L = , luego G es no extensiva.
As por el corolario 1, T tiene un unico punto jo dado por
X
0
=
_
n0
G
n
(C) =
_
n0
(A
n
CB
n
)
Lema 5. Si A, B y C son lenguajes sobre un alfabeto y (A B), entonces
Z es una solucion de la ecuacion X = AXB C si y solo si
Z =

_
n=0
(A
n
(C D)B
n
)
para alg un D

.
Demostracion. Resulta de aplicar la segunda parte del corolario 1.
Ejemplo 4. (i) La ecuacion X = aX b

ab bX a

se puede escribir de la
forma X = (ab)X(b

aba

). Por el Lema de Arden la ecuacion tiene solucion

unica X = (a b)

(b

ab a

).
(ii) Sea X = AXB {}, donde A = {a
n
b
n
: n 1} y B = {b
n
a
n
: n 1},
entonces por el lema 4 la ecuacion tiene una unica solucion
X =

_
i=0
A
i
{} B
i
=

_
i=0
A
i
B
i
donde A
i
=
_
(a
n
b
n
)
i
: n 1
_
y B
i
=
_
(b
n
a
n
)
i
: n 1
_
.
(iii) Sea la siguiente gramatica lineal
_
S 01 | 0A
A S1
12 Jose L. Ramrez and Rodrigo de Castro
Entonces S = 01 0S1, as S =

i=0
_
0
i
(01)1
i
_
, por consiguiente
L(G) =
_
0
i
1
i
: i 1
_
.
4.1. Matrices y Lenguajes
A continuacion introducimos una notacion matricial sobre lenguajes, que es
analoga a la utilizada en algebra lineal, con el n de facilitar la escritura.
Denicion 12. Una matriz de lenguajes M de tama no mn sobre el alfabeto
es una funcion M : {1, . . . , m} {1, . . . , n}

).
Los valores de la funcion M
ij
= M(i, j) se dispondran en un arreglo rectangular
de m las y n columnas. Las matrices sobre lenguajes se combinaran de dos
maneras, union y producto, las cuales se denen analogamente a la suma y
producto de matrices.
Denicion 13. Sean M y N matrices mn, entonces la union M N es una
matriz S de tama no mn, cuyo elemento ij es S
ij
= M
ij
N
ij
.
Ejemplo 5. Sean las matrices M y N sobre el alfabeto = {a, b}, tales que
M =
_
a a

b
a
+
b

a b
_
N =
_
ba b

a
a

_
M N =
_
a ba a

b b

a
a

a b a

_
Denicion 14. Sean M una matriz m p y N una matriz p n, enton-
ces el producto MN es una matriz S de tama no m n, cuyo elemento ij es
S
ij
=

{M
ik
N
kj
: 1 k p}.
Ejemplo 6. Sean las matrices M y N sobre el alfabeto = {a, b}, tales que
M =
_
a

a b
_
N =
_
_
a
b
ab
_
_
MN =
_
a
+
ab
a
2
b
2
ab
_
Es claro que la matriz n n
I
n
=
_
_
_
_
_


.
.
.
.
.
.
.
.
.

_
_
_
_
_
es el elemento identidad respecto al producto, ademas, si M es una matriz cua-
drada, entonces M

=
_
_
M
i
: i N
_
.
Denicion 15. Sea M = (, Q, q
0
, F, ) un AFN, donde |Q| = n. La matriz
asociada al automata M, es una matriz cuadrada n n sobre el lenguaje ,
denotada L
M
, denida como
(L
M
)
ij
:=
_
_
a
a : q
j
(q
i
, a)
_
para 1 i, j n.
Teoremas de Punto Fijo y Algunas Aplicaciones a los Lenguajes Formales 13
Ejemplo 7. El automata no determinista M de la gura 1, tiene la siguiente
matriz asociada
q0 q1 q2
a, b
a a
a, b
Figura 1. Automata no determinista M.
L
M
=
_
_
a b a
a
a b
_
_
Teorema 7. Sea M = (, Q, q
0
, F, ) un AFN, donde |Q| = n y sea L
M
su
matriz asociada. Entonces w
_
L
(k)
M
_
ij
si y solo si |w| = k y

(q
i
, w) = q
j
para 1 i, j n.
Demostracion. La demostracion es por induccion sobre k 0. Para k = 0 te-
nemos que L
(0)
M
= I
n
. Si i = j, entonces w
_
L
(0)
M
_
ij
si y solo si w = ; en
cuyo caso

(q
i
, ) = q
i
= q
j
. Si i = j,
_
L
(0)
M
_
ij
= , se tiene la equivalencia
trivialmente.
Supongamos que la propiedad se tiene para alg un k > 1, entonces:
w

, |w| = k + 1 y

(q
i
, w) = q
j
.
w = ua, con |u| = k,

(q
i
, u) = q
s
y (q
s
, a) = q
j
para alg un s, 1 s n.
w = ua, con |u| = k, u
_
L
(k)
M
_
is
y a (L
M
)
sj
para alg un s, 1 s n.
w
_
L
(k)
M
_
is
(L
M
)
sj
para s, 1 s n.
w
_
L
(k+1)
M
_
ij
.
quedando demostrado.
4.2. Puntos Fijos y Lenguajes Regulares
A continuacion probaremos que todo lenguaje regular es una componente del
menor punto jo de una funcion cuyas componentes son funciones polinomiales
lineales de n variables.
14 Jose L. Ramrez and Rodrigo de Castro
Teorema 8. Sea M = (, Q, q
0
, F, ) un AFN, donde |Q| = n y sea L
M
su
matriz asociada. Sea Q
M
: (

))
n
(

))
n
una funcion n-aria deni-
da como Q
M
(X) = L
M
XK
M
, donde X =
_
_
_
X
1
.
.
.
X
n
_
_
_, K
M
=
_
_
_
K
0
.
.
.
K
n1
_
_
_ tal que
X
1
, . . . , X
n

) y K
i
=
_
, si q
i
F
, si q
i
/ F
Entonces el menor punto jo de Q
M
es la n-upla A =
_
_
_
A
0
.
.
.
A
n1
_
_
_ donde
A
i
= {w

: (q
i
, w) F = }
Demostracion. Q
M
se puede escribir como Q
M
= (f
1
, f
2
, . . . , f
n
) con
f
i
(X) = (L
M
)
i1
X
1
(L
M
)
i2
X
2
(L
M
)
in
X
n
K
i
, es claro que f
i
es una
funcion polinomial lineal de n variables, luego por la denicion 8, Q
M
es poli-
nomial. As por el teorema 5, Q
M
tiene un punto jo, donde el menor esta dado
por
=
_
n0
Q
n
M
()
Por induccion sobre n se verica que
Q
n
M
() = (L
M
)
n
K
M
(L
M
)
n1
K
M
(L
M
) K
M
K
M
por lo tanto = L

M
K
M
(

))
n
, falta vericar que la componente
i esima de corresponde a A
i
. En efecto
(L

M
K
M
)
i
=
n
_
j=1
(L

M
)
ij
K
j
=
n
_
j=1
_
_
_
n0
L
(n)
M
_
_
ij
K
j
=
_
n0
n
_
j=1
_
L
(n)
M
_
ij
K
j
=
_
n0
n
_
j=1
{w

(q
i
, w) = q
j
, |w| = n} K
j
por el teorema 7
=
_
n0
n
_
j=1
{w

(q
i
, w) = q
j
, |w| = n, q
j
F} por def. de K
M
.
as (L

M
K
M
)
i
= {w

(q
i
, w) F} = A
i
Teoremas de Punto Fijo y Algunas Aplicaciones a los Lenguajes Formales 15
Corolario 5. Todo lenguaje regular es una componente del menor punto jo de
una funcion (Q
M
), en particular la componente A
0
.
Demostracion. Sea L un lenguaje regular entonces existe un AFN M tal que
L(M) = L. Sea Q
M
la funcion asociada a M, entonces por el teorema 8, su
menor punto jo es A =
_
_
_
A
0
.
.
.
A
n1
_
_
_ donde A
i
= {w

: (q
i
, w) F = }, es
claro que A
0
= L.
Para poder encontrar el menor punto jo, se puede utilizar sucesivas veces el
lema de Arden, como muestra el siguiente ejemplo.
Ejemplo 8. Para el automata no determinista M considerado en el ejemplo 7,
se tiene que
Q
M
(X) = L
M
X K
M
=
_
_
a b a
a
a b
_
_
_
_
X
1
X
2
X
3
_
_

_
_

_
_
Q
M
se puede escribir como
Q
M
_
_
X
1
X
2
X
3
_
_
=
_
_
(a b)X
1
aX
2
aX
3
(a b)X
3

_
_
Sean A
i
= {w

: (q
i
, w) F = } (0 i 2) las componentes del menor
punto jo de Q
M
, encontrar estas es equivalente a solucionar el sistema de
ecuaciones
_

_
(1) X
1
= (a b)X
1
aX
2
(2) X
2
= aX
3
(3) X
3
= (a b)X
3

Aplicando el lema de Arden a la ecuacion (3):
(4) X
3
= (a b)

Reemplazando (4) en (2):

(5) X
2
= a(a b)

Reemplazando (5) en (1):

(6) X
1
= (a b)X
1
a
2
(a b)

Aplicando el lema de Arden a la ecuacion (6), concluimos que:

(7) X
1
= (a b)

a
2
(a b)

Esto implica que el menor punto jo de Q

M
es
_
_
(a b)

a
2
(a b)

a(a b)

(a b)

_
_
y que el lenguaje regular (ab)

a
2
(ab)

es el lenguaje aceptado por el automata

M y dicho lenguaje se puede ver como una componente del menor punto jo de
la funcion Q
M
.
16 Jose L. Ramrez and Rodrigo de Castro
5. Conclusiones
Hemos presentado un teorema sobre retculos booleanos que da condiciones
necesarias y sucientes para que cierto tipo de operador tenga un unico punto
jo. Este teorema se aplica en la caracterizacion de los puntos jos de funciones
polinomiales entre lenguajes. Como resultado de esto se demuestra, como un
caso particular de un teorema de punto jo, el Lema de Arden y algunas gene-
ralizaciones de este y se utiliza para caracterizar los lenguajes regulares, como
el menor punto jo de una determinada funcion polinomial.
Esperamos que esta tecnica pueda ser utilizada para generalizar el Lema de Ar-
den y que a su vez esto permita caracterizar las gramaticas lineales de manera
analoga como los lenguajes regulares.
Bibliografa
1. Davey, B., Priestley, H.: Introduction to Lattices and Order. 2nd Ed., Cambridge
University Press, Cambridge (2002).
2. Hesselink, W.: Solutions of equations in languages. Formal Aspects of Computing
22 (5), 537545 (2009).
3. Kunc, M.: What do we know about language equations?. In: Harju, T., Karhumaki,
J., Lepisto, A. (eds.) DLT 2007. LNCS, vol. 4588, pp. 2327. Springer, Heidelberg
(2007).
4. Kupka, I.: Unique Fixpoints in Complete Lattices with Applications to Formal
Languages and Semantics. In: Freksa, C., Jantzen, M., Valk, R. (eds.) Foundations
of Computer Science: Potential - Theory - Cognition 1997. LNCS, vol. 1337, pp.
107115. Springer, Heidelberg (1997).
5. Leiss, E.: Language Equations. Monographs in Computer Science, Springer, New
York (1999).
6. Mandrioli, D., Ghezzi, C.: Theoretical Foundations of Computer Science. John
Wiley & Sons, New York (1987).
7. Okhotin, A.: Seven families of language equations, Techreport, Series: Technical
reports, Turku Centre for Computer Science (TUCS),(2007).
8. Roman, S.: Lattices and Ordered Sets. Springer, New York (2008).
9. Simovici, D. and Tenney, R.: Theory of Formal Languages with Applications. World
Scientic Publishing, Singapore (1999).