Teoremas de Punto Fijo para La Solución de Ecuaciones Sobre Lenguajes.

TEOREMAS DE PUNTO FIJO PARA LA
SOLUCI
ON DE ECUACIONES SOBRE
LENGUAJES
Jose Luis Ramrez Ramrez
Escuela de Matematicas Universidad Sergio Arboleda
26 de marzo de 2011
Jose Luis Ramrez Ramrez Escuela de Matematicas Universidad Sergio Arboleda TEOREMAS DE PUNTO FIJO PARA LA SOLUCI
ON DE ECUA
Presentacion
1
Introduccion.
2
Teoremas de Punto Fijo en Retculos Completos.
3
Funciones Polinomiales sobre Lenguajes Formales.
4
Funciones Polinomiales Lineales (Lema de Arden).
5
Puntos Fijos y Lenguajes Regulares.
6
Puntos Fijos y Lenguajes Independientes de Contexto.
ON DE ECUA
Presentacion
1
Introduccion.
2
3
4
5
6
ON DE ECUA
Presentacion
1
Introduccion.
2
3
4
5
6
ON DE ECUA
Presentacion
1
Introduccion.
2
3
4
5
6
ON DE ECUA
Presentacion
1
Introduccion.
2
3
4
5
6
ON DE ECUA
Presentacion
1
Introduccion.
2
3
4
5
6
ON DE ECUA
Presentacion
Estudiar las funciones polinomiales entre lenguajes y sus puntos
jos, y aplicarlos a la caracterizacion de los lenguajes
independientes de contexto y de algunas ecuaciones entre
lenguajes.
ON DE ECUA
Lenguajes
Un lenguaje L sobre un alfabeto es un subconjunto de
.
Todo lenguaje L satisface L
y puede ser nito o innito.

Los lenguajes se denotan con letras may usculas
A, B, C, . . . L, M, N, . . ..
Ejemplo
Los siguientes son ejemplos de lenguajes sobre los alfabetos
especicados.
= {0, 1}. L = {0, 1, 00, 01, 10, 11}.
= {0, 1}. L = {1, 11, 1111, 11111111, . . .} = 1
2
n
n 0.
= {a, b}. L = w w = w
R
(Palndromos).
= {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}.
L = {u
u = 0 o 0 no es prejo de u} = N.
ON DE ECUA
Lenguajes
La concatenacion de dos lenguajes A y B sobre , notada AB,
se dene como
AB = {uv u A, v B}
La estrella de Kleene de un lenguaje A, A
, es la union de
todas las potencias de A y se denota por A
.
A
=

i0
A
i
= A
0
A
1
A
2
A
n

Es decir que A
consta de todas las concatenaciones de cadenas de

A consigo mismas, de todas las formas posibles.
La clausura positiva de un lenguaje A, denotada por A
+
.
A
+
=

i1
A
i
= A
1
A
2
A
n

ON DE ECUA
Lenguajes Regulares
Existe una clase especial de lenguajes conocidos como lenguajes
regulares.
Denicion
Sea un alfabeto:
1
, {}, {a}, para todo a , son lenguajes regulares sobre .
Estos se denominan lenguajes regulares basicos.
2
Si A y B son lenguajes regulares sobre , tambien lo son
A B Union
AB Concatenacion
A
estrella de Kleene
ON DE ECUA
Lenguajes Regulares
Ejemplo
Sea = {0, 1}. Los siguientes son lenguajes regulares sobre :
(i) El lenguaje A de todas las cadenas que tienen exactamente un
0: Una cadena en este lenguaje se puede escribir de la forma x0y,
donde x, y {1}
. As el lenguaje se puede escribir como:

A = {1}
{0} {1}
(ii) El lenguaje B de todas las cadenas que tienen un n umero

impar de smbolos:
B = [(0 1) (0 1)|
(0 1)
ON DE ECUA
Lenguajes Regulares
Para simplicar la descripcion de los lenguajes regulares se denen
las expresiones regulares,
1
Expresiones regulares basicas:
es una expresion regular que representa al lenguaje .
es una expresion regular que representa al lenguaje .
a es una expresion regular que representa al lenguaje a ,
para todo a .
2
Si R y S son expresiones regulares sobre , tambien lo son
(R S)
(R) (S)
(R)
ON DE ECUA
Lenguajes Regulares
Ejemplo
Los dos lenguajes del ejemplo 2 se pueden representar con
expresiones regulares de la siguiente manera:
(i) El lenguaje A de todas las cadenas que tienen exactamente un
0: A = 1
01
.
(ii) El lenguaje B de todas las cadenas que tienen un n umero
impar de smbolos:
B = [(0 1) (0 1)|
(0 1)
ON DE ECUA
Lenguajes Regulares
Denicion
Un automata nito determinista (AFD) M es una quintupla
M = (, Q, q
0
, F, ), donde:
es un alfabeto llamado alfabeto de cinta. Todas las cadenas
que procesa M pertenecen a
.
Q = q
0
, q
1
, . . . , q
n
es un conjunto de estados internos del
automata.
q
0
Q es el estado inicial.
F Q es un conjunto de estados nales o de aceptacion.
F .
La funcion de transicion del automata
Q Q
(q, a) (q, a)
ON DE ECUA
Lenguajes Regulares
Denicion
Un automata nito no determinista (AFND) M es una
quintupla M = (, Q, q
0
, F, ), donde:
es un alfabeto llamado alfabeto de cinta. Todas las cadenas
que procesa M pertenecen a
.
Q = q
0
, q
1
, . . . , q
n
es un conjunto de estados internos del
automata.
q
0
Q es el estado inicial.
F Q es un conjunto de estados nales o de aceptacion.
F .
La funcion de transicion del automata
Q ( )
(Q)
(q, s) (q, s) = q
i
1
, , q
i
k
ON DE ECUA
Lenguajes Regulares
Ejemplo
El lenguaje A de todas las cadenas que tienen exactamente un 0:
A = 1
01
. M = (, Q, q
0
, F, ), donde = 0, 1, Q = q
0
, q
1
,
q
0
estado inicial, F = q
1
0 1
q
0
q
1
q
0
q
1
q
1
q
0
q
1
1
0
1
ON DE ECUA
Gramaticas
Denicion
Una gramatica independiente del contexto (GIC), es una
cuadrupla, G = (V, , S, P), donde:
V es un alfabeto, cuyos elementos se llaman variables o
smbolos no terminales.
es un alfabeto, cuyos elementos se llaman smbolos
terminales. y V son disyuntos.
S V es una variable especial, llamada smbolo inicial de la
gramatica.
Un conjunto nito P V (V )
de producciones o reglas
de re-escritura. Una produccion (A, w) P de G se denota
por A w y se lee A produce w; su signicado es: la
variable A se puede reemplazar (sobre-escribir) por la cadena
w. En la produccion A w, A se denomina la cabeza y w el
cuerpo de la produccion.
ON DE ECUA
El lenguaje generado por una gramatica G se denota por L(G) y
se dene como
L(G) = w
S
+
w.
Un lenguaje L sobre un alfabeto se dice que es un lenguaje
independiente del contexto (LIC) si existe una GIC G tal que
L(G) = L.
ON DE ECUA
Gramaticas Regulares
Denicion
Una GIC G = (V, , S, P) se dice regular por la derecha si todas
las producciones son de la forma
A vB,
A v
donde A, B V y v
. Una GIC G = (V, , S, P) se dice

regular por la izquierda si todas las producciones son de la forma
A Bv,
A v
donde A, B V y v
.
Una gramatica es regular si es una gramatica regular por la
derecha o regular por la izquierda.
ON DE ECUA
Lenguajes
Regulares
Aut
omatas
Finitos
Gram
aticas
Regulares
Expresiones
Regulares
ON DE ECUA
Teoremas de Punto Fijo en Retculos Completos
Denicion
Sea (P, ) un conjunto parcialmente ordenado.
1
Si x
y e x
y existen para todo x, y P entonces (P, ) es

un retculo.
2
Si

S e
S existen para todo S P entonces (P, ) es un

retculo completo.
)
es un retculo completo bajo la union e interseccion. Elemento
maximo es
y el elemento mnimo es .
ON DE ECUA
Denicion
Sea (P, ) un conjunto parcialmente ordenado.
1
Si x
y e x
y existen para todo x, y P entonces (P, ) es

un retculo.
2
Si
S e
S existen para todo S P entonces (P, ) es un

retculo completo.
)
es un retculo completo bajo la union e interseccion. Elemento
maximo es
y el elemento mnimo es .
ON DE ECUA
Teorema (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
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.
ON DE ECUA
Denicion
Un conjunto ordenado P es completo o un CPO si
(i) P tiene un elemento mnimo .
(ii)

D existe para todo subconjunto dirigido D de P.
En caso de que solo se cumpla la segunda condicion, entonces se
dice que P es un DCPO.
Es claro que todo retculo completo es un CPO.
Denicion
Sean P y Q DCPO y T P Q una funcion. Se dice que T es
continua si para todo subconjunto dirigido D en P, el
subconjunto T(D) de Q tambien es dirigido y
T (
(D)) =
(T (D))
ON DE ECUA
Teoremas de Punto Fijo en CPO
Teorema
Sea P un CPO y T P P una funcion continua, entonces T
tiene un punto jo mnimo dado por
=

n0
T
n
()
ON DE ECUA
Teoremas de Punto Fijo en CPO
Teorema
Sea P un CPO y T P P una funcion continua, entonces T
tiene un punto jo mnimo dado por
=

n0
T
n
()
ON DE ECUA
Teoremas de Punto Fijo en Retculos Booleanos
Denicion
Un retculo booleano completo es un retculo completo con el
orden inducido por las operaciones , ;a saber,
x y, x y = x, x y = y.
)
es un retculo booleano bajo la union e intersecci on.
ON DE ECUA
Denicion
Un retculo booleano completo es un retculo completo con el
orden inducido por las operaciones , ;a saber,
x y, x y = x, x y = y.
)
es un retculo booleano bajo la union e intersecci on.
ON DE ECUA
Teorema
Sea P un retculo booleano, K un subconjunto (jo) de P y
G P P un operador que preserva subs contables
(G(
n0
X
n
) =
n0
G(X
n
)) . 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
menor punto jo; 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.
ON DE ECUA
Teorema
(G(
n0
X
n
) =
n0
G(X
n
(i) X
0
=
n0
G
n
0
es el
entonces X
0
0
(K) = K).
entonces
Fix(T) =
n0
G
n
(K Y ) Y G(Y ).
(iii) X
0
ON DE ECUA
Teorema
(G(
n0
X
n
) =
n0
G(X
n
(i) X
0
=
n0
G
n
0
es el
entonces X
0
0
(K) = K).
entonces
Fix(T) =
n0
G
n
(K Y ) Y G(Y ).
(iii) X
0
ON DE ECUA
Corolario
Sea S un conjunto no vaco, K un subconjunto (jo) de S y
G
(S)
(S) un operador que preserva sups contables. Si

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

(i) X
0
=
n0
G
n
0
es el
mas peque no punto jo; es decir, si X es un punto jo de T
entonces X
0
0
(K) = K).
entonces
Fix(T) =
n0
G
n
(K Y ) Y G(Y ).
(iii) X
0
i.e., Y G(Y ) implica Y = .
Notese que si G() = , entonces la parte (i) del corolario 1 es
ON DE ECUA
Corolario
Sea S un conjunto no vaco, K un subconjunto (jo) de S y
G
(S)
(S) un operador que preserva sups contables. Si

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

(i) X
0
=
n0
G
n
0
es el
mas peque no punto jo; es decir, si X es un punto jo de T
entonces X
0
0
(K) = K).
entonces
Fix(T) =
n0
G
n
(K Y ) Y G(Y ).
(iii) X
0
i.e., Y G(Y ) implica Y = .
Notese que si G() = , entonces la parte (i) del corolario 1 es
ON DE ECUA
Funciones Polinomiales sobre Lenguajes Formales
(
))
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.
Denicion
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
.
ON DE ECUA
Denicion
Sea (f
1
, f
2
, . . . f
m
) una sucesion nita de funciones n-arias,
entonces 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.
ON DE ECUA
Denicion
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 proyecci on 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.
ON DE ECUA
Denicion
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.
ON DE ECUA
Ejemplo
Las siguientes son funciones polinomiales.
(i) f(X) = AX B.
Es claro que f(X) = AX B = C
A
(X)P
1
1
(X) C
B
(X)
(ii) f(X) = XX aa. En este caso
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
)
ON DE ECUA
Ejemplo
(i) f(X) = AX B.
A
(X)P
1
1
(X) C
B
(X)
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
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
)
ON DE ECUA
Ejemplo
(i) f(X) = AX B.
A
(X)P
1
1
(X) C
B
(X)
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
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
)
ON DE ECUA
Puntos Fijos de Funciones Polinomiales
Lema
Si

K

L para

L,

K (
))
n
entonces f(

K) f(
L) para toda
funcion polinomial f.
Lema
Sea f una funcion polinomial, entonces para toda sucesion
creciente de n-uplas

L
1
, . . . ,

L
m
, . . . (
L
i

L
j
, para i j) se tiene
que
f |
i1
L
i
1 =
i1
f

L
i
} .
ON DE ECUA
Corolario
Sea

f (
))
n
(
))
n
una funcion polinomial,
entonces

f es monotona y continua.
Teorema
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.

ON DE ECUA
Corolario
Sea

f (
))
n
(
))
n
una funcion polinomial,
entonces

f es monotona y continua.
Teorema
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.

ON DE ECUA
Ejemplo
Al aplicar el teorema anterior a la funcion polinomial
f(X) = AX B, se obtiene que su menor punto jo es:
i0
f
i
() = B AB A
2
B = A
B.
ON DE ECUA
Ejemplo
Sea f(X) = XX aa, esta funcion 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 0L
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
Entonces L
k
L
k
aa = L
0
L
0k
aa = L
0
L
0k
= L
k
L
k
, para
todo k 0.
ON DE ECUA
Funciones Polinomiales Lineales
Denicion
Sea f una funcion polinomial f
), diremos que
f es lineal si es de la forma
f (X) = A
1
XB
1
A
n
XB
n
C
para todo X
), donde A
1
, A
2
, ..., A
n
, B
1
, B
2
, ..., B
n
, C son
lenguajes sobre el alfabeto , llamados los coecientes de f.
ON DE ECUA
Lema (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.
Teorema
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
.
ON DE ECUA
Lema (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.
Teorema
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
.
ON DE ECUA
Lema
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
)
Lema
entonces Z es una solucion de la ecuacion X = AXB C si y solo
si
Z =
n=0
(A
n
(C D)B
n
)
ON DE ECUA
Lema
entonces la ecuacion X = AXB C tiene una unica solucion dada
por
X =
n=0
(A
n
CB
n
)
Lema
entonces Z es una solucion de la ecuacion X = AXB C si y solo
si
Z =
n=0
(A
n
(C D)B
n
)
ON DE ECUA
Ejemplo
(i) La ecuacion X = aX b
ab bX a
se puede escribir de la
forma X = (a b)X (b
ab a
). Por el Lema de Arden la

ecuacion tiene solucion unica X = (a b)
(b
ab a
).
(ii) Sean A, B lenguajes sobre el alfabeto a, b
tales que
A = aA bB
B = bB
entonces aplicando el Lema de Arden a la segunda ecuacion, se
obtiene que B = b
= b
. Nuevamente aplicando el Lema de

Arden a la primera ecuacion, resulta que
A = a
(bB ) = a
(bb
) = a
(b
+
) = a
.
ON DE ECUA
Ejemplo
(i) La ecuacion X = aX b
ab bX a
se puede escribir de la
forma X = (a b)X (b
ab a
). Por el Lema de Arden la

ecuacion tiene solucion unica X = (a b)
(b
ab a
).
(ii) Sean A, B lenguajes sobre el alfabeto a, b
tales que
A = aA bB
B = bB
entonces aplicando el Lema de Arden a la segunda ecuacion, se
obtiene que B = b
= b
. Nuevamente aplicando el Lema de

Arden a la primera ecuacion, resulta que
A = a
(bB ) = a
(bb
) = a
(b
+
) = a
.
ON DE ECUA
Ejemplo
(iii) 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.
(iv) Sea la siguiente gramatica lineal
S 01 | 0A
A S1
Entonces S = 01 0S1, as S =
i=0
0
i
(01)1
i
}, por consiguiente
L(G) = 0
i
1
i
i 1.
ON DE ECUA
Ejemplo
(iii) 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.
(iv) Sea la siguiente gramatica lineal
S 01 | 0A
A S1
Entonces S = 01 0S1, as S =
i=0
0
i
(01)1
i
}, por consiguiente
L(G) = 0
i
1
i
i 1.
ON DE ECUA
Puntos Fijos y Lenguajes Regulares
Denicion
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.
ON DE ECUA
Ejemplo
El siguiente automata no determinista M
q
0
q
1
q
2
a, b
a a
a, b
L
M
=
a b a
a
a b
ON DE ECUA
Teorema (Puntos Fijos y Lenguajes Regulares)
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 denida como

Q
M
(

X) = L
M

X

K
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
ON DE ECUA
Corolario
Todo lenguaje regular es una componente del menor punto jo de
una funcion (

Q
M
), en particular la componente A
0
.
Ejemplo
Sea el siguiente automata no determinista M
q
0
q
1
q
2
a, b
a a
a, b
Q
M
(

X) = L
M

X

K
M
=
a b a
a
a b
X
1
X
2
X
3
ON DE ECUA
Ejemplo
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

ON DE ECUA
Ejemplo
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 (a b)
a
2
(a b)
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
.
ON DE ECUA
Insercion Simetrica
Denicion
Dados los lenguajes A
1
, A
2
, ..., A
k
, B
1
, B
2
, ..., B
k
, C sobre un
alfabeto , la insercion simetrica de C en (A
i
, B
i
)
i=1,...,k
,
A
1
, A
2
, ..., A
k
C
B
1
, B
2
, ..., B
k
=

m1
H
m
donde
H
1
=

i=1,...k
n
i
0
A
n
i
i
CB
n
i
i
,
H
m+1
=

i=1,...k
n
i
0
A
n
i
i
H
m
B
n
i
i
Es claro que H
1
H
2
H
3
H
n
, luego
m1
H
m
= lm
m
H
m
ON DE ECUA
Ejemplo
(i) Dado el alfabeto = a, b y los lenguajes A
1
= a, B
1
= b
y C = , entonces
H
1
= ab a
2
b
2
a
3
b
3
= H
2
= H
3
=
a

{}
b =
i0
|a
i
b
i
|
= ab a
2
b
2
a
3
b
3

= a
n
b
n
n 0
ON DE ECUA
Ejemplo
Dado el alfabeto = a, b y los lenguajes
A
1
= A
2
= a, B
1
= B
2
= b y C = , entonces
H
1
= aa aaaa aaaaaa
bb bbbb bbbbbb
H
2
= H
1
baab baaaab baaaaaab
bbaabb bbaaaabb bbaaaaaabb
abba abbbba abbbbbba aabbaa aabbbbaa
aabbbbbbaa
luego a, b

{}
a, b = ww
R
w a, b
ON DE ECUA
Generalizacion Lema de Arden
Teorema (Generalizacion Lema de Arden)
Sean A
1
, A
2
, ..., A
k
, B
1
, B
2
, ..., B
k
, C lenguajes sobre el alfabeto
tales que (A
i
B
i
) para i = 1, . . . k, entonces
X = A
1
XB
1
A
2
XB
2
A
k
XB
k
C
tiene una unica solucion dada por
X = A
1
, A
2
, ..., A
k
C
B
1
, B
2
, ..., B
k
=

A

C

B
ON DE ECUA
Ejemplo
(i) La ecuacion X = aX Xb c tiene solucion unica X = a
cb
.
(ii) Sea la siguiente gramatica lineal
S aSb | aAb
A aAa | bAb |
Entonces A = aAa bAb ,
as A = a, b

{}
a, b = ww
R
w a, b. Ademas,
S = aSb aAb = aSb C = a

C
b, donde
C = aww
R
b w a, b, luego S = a
n
cb
n
c C, n 0 por
consiguiente L(G) = a
n
ww
R
b
n
w a, b , n 1.
ON DE ECUA
Ejemplo
(i) La ecuacion X = aX Xb c tiene solucion unica X = a
cb
.
(ii) Sea la siguiente gramatica lineal
S aSb | aAb
A aAa | bAb |
Entonces A = aAa bAb ,
as A = a, b

{}
a, b = ww
R
w a, b. Ademas,
S = aSb aAb = aSb C = a

C
b, donde
C = aww
R
b w a, b, luego S = a
n
cb
n
c C, n 0 por
consiguiente L(G) = a
n
ww
R
b
n
w a, b , n 1.
ON DE ECUA
Puntos Fijos y Lenguajes Independientes de Contexto
Denicion
La clase de funciones polinomiales nitas (f.p.f) n-arias, consiste
de las siguientes funciones:
(i) Toda funcion constante n-aria C
L
, donde L es un lenguaje
nito.
(ii) Toda proyeccion n-aria.
(iii) Si f y g son f.p.f. n-arias, entonces f g y fg tambien lo son.
ON DE ECUA
Denicion
L
nito.
ON DE ECUA
Denicion
L
nito.
ON DE ECUA
Denicion
Sea un alfabeto y sea
X
= X
1
, . . . , X
n
un conjunto tal que

X
= , entonces
(
X
)
n
= u u (
X
)
A los elementos de este conjunto se le llaman terminos n-arios (o

simplemente terminos) y los elementos de
X
variables.
Ejemplo
Sea = a, b, c y
X
= X
1
, X
2
, X
3
, entonces los siguientes son
terminos de (
X
)
3
.
u
1
= bcX
1
X
2
aaX
2
, u
2
= , u
3
= aX
3
, u
4
= X
1
ON DE ECUA
Denicion
Sea un alfabeto y sea
X
= X
1
, . . . , X
n
un conjunto tal que

X
= , entonces
(
X
)
n
= u u (
X
)
A los elementos de este conjunto se le llaman terminos n-arios (o

simplemente terminos) y los elementos de
X
variables.
Ejemplo
Sea = a, b, c y
X
= X
1
, X
2
, X
3
, entonces los siguientes son
terminos de (
X
)
3
.
u
1
= bcX
1
X
2
aaX
2
, u
2
= , u
3
= aX
3
, u
4
= X
1
ON DE ECUA
Denicion
Sea u un termino de (
X
)
n
, la funcion generada por el
termino u = u
1
X
i
1
u
2
u
k
X
i
k
u
k+1
, f
u
(
))
n
)
esta denida por
f
u
(
L) = u
1
L
i
1
u
2
u
k
L
i
k
u
k+1
para todo

L = (L
1
, . . . , L
n
) (
))
n
, 1 i
j
n, 1 j k, k 1.
Ejemplo
Sea = a, b, c y
X
= X
1
, X
2
, X
3
, entonces las siguientes son
funciones generadas por los terminos del ejemplo 17.
f
u
1
(
L) = bcL
1
L
2
aaL
2
, f
u
2
(
L) = , f
u
3
(
L) = aL
3
, f
u
4
(
L) = L
1
donde

L = (L
1
, L
2
, L
3
).
ON DE ECUA
Denicion
Sea u un termino de (
X
)
n
, la funcion generada por el
termino u = u
1
X
i
1
u
2
u
k
X
i
k
u
k+1
, f
u
(
))
n
)
esta denida por
f
u
(
L) = u
1
L
i
1
u
2
u
k
L
i
k
u
k+1
para todo

L = (L
1
, . . . , L
n
) (
))
n
, 1 i
j
n, 1 j k, k 1.
Ejemplo
Sea = a, b, c y
X
= X
1
, X
2
, X
3
, entonces las siguientes son
funciones generadas por los terminos del ejemplo 17.
f
u
1
(
L) = bcL
1
L
2
aaL
2
, f
u
2
(
L) = , f
u
3
(
L) = aL
3
, f
u
4
(
L) = L
1
donde

L = (L
1
, L
2
, L
3
).
ON DE ECUA
Teorema
Si f (
))
n
) es una f.p.f entonces

f(

X) =
m
i=1
g
i
(

X)
para todo

X (
))
n
, donde g
1
, . . . , g
m
son funciones
generadas por terminos n-arios.
ON DE ECUA
Teorema de Ginsburg-Rice
Denicion
Sea

f (
))
n
(
))
n
una f.p.f, con

f = (f
1
, . . . , f
n
) y
tal que f
i
(

X) =
l
i
j=1
g
ij(

X)
donde g
ij
(1 i n, 1 j l) son las
respectivas funciones generadas por terminos n-arios y l
i
es el
n umero de terminos de f
i
. Entonces las gramaticas asociadas con
la f.p.f.

f son las gramaticas G
i
= (
X
, , X
j
, P) donde el
conjunto de producciones P consiste de todas las reglas de
produccion de la forma X
j
g
ij
para 1 i n y 1 j l
i
.
ON DE ECUA
Ejemplo
Sea

f (
))
4
(
))
4
una f.p.f, con

f = (f
1
, f
2
, f
3
, f
4
),
tales que
f
1
(X
1
, X
2
, X
3
, X
4
) = X
3
X
2
X
2
X
4
f
2
(X
1
, X
2
, X
3
, X
4
) = aX
2
b
f
1
(X
1
, X
2
, X
3
, X
4
) = aX
3
a
f
1
(X
1
, X
2
, X
3
, X
4
) = bX
4
b
entonces las gramaticas asociadas con

f son
G
1
= (
X
= X
1
, X
2
, X
3
, X
4
, = a, b , X
1
, P)
G
2
= (
X
= X
1
, X
2
, X
3
, X
4
, = a, b , X
2
, P)
G
3
= (
X
= X
1
, X
2
, X
3
, X
4
, = a, b , X
3
, P)
G
4
= (
X
= X
1
, X
2
, X
3
, X
4
, = a, b , X
4
, P)
ON DE ECUA
Ejemplo
P = X
1
X
3
X
2
, X
1
X
2
X
4
, X
2
aX
2
b, X
2
,
X
3
aX
3
, X
3
a, X
4
bX
4
, X
4
b
Se puede probar que la gramatica G
1
G
1

X
1
X
3
X
2
| X
2
X
4
X
2
aX
2
b |
X
3
aX
3
| a
X
4
bX
4
| b
cumple que L(G
1
) = a
m
b
n
m n, el cual es un LIC, ademas,
sera una de las componentes del menor punto jo de la funcion

f .
ON DE ECUA
Teorema de Ginsburg-Rice
Teorema (Ginsburg-Rice)
Sea

f (
))
n
(
))
n
una f.p.f, entonces el menor
punto jo de

f es una n-upla de LICs,

L = (L
1
, . . . , L
n
) donde
L
j
= L(G
j
) y G
j
son las gramaticas asociadas a

f, 1 j n.
ON DE ECUA
Denicion
Sea G = (
X
, , S, P) una GIC, la f.p.f. asociada a G,
f
G
(
))
n
(
))
n
se dene como

f
G
= (f
1
, . . . , f
n
)
donde
f
i
(

X) = g
t
i1
(

X) g
t
il
i
(

X)
para 1 i n.
Teorema
Todo LIC es una componente del menor punto jo de una f.p.f.
Corolario
La clase de LICs coincide con la clase de lenguajes que son
componentes del menor punto jo de un f.p.f.
ON DE ECUA
Ejemplo
Consideremos la gramatica G, denida por las siguientes reglas de
produccion
G
S aS
2
| bS
1
S
1
aS | bS
1
S
1
| a
S
2
bS | aS
2
S
2
| b
entonces la funcion polinomial

f
G
(
))
3
(
))
3
asociada a G esta dada por

f
G
= (f
1
, f
2
, f
3
) donde
f
1
(
L) = aL
3
bL
2
f
2
(
L) = aL
1
bL
2
L
2
a
f
3
(
L) = bL
1
aL
3
L
3
b
ON DE ECUA
Ejemplo
ademas las primeras aproximaciones del menor punto jo de

f son
f(, , ) = (, a, b)
f
2
(, , ) = (ab, ba, a, baa, b, abb)
f
3
(, , ) = (ab, ba, aabb, bbaa ,
a, aab, aba, baa, bbaaa, babaa, bbaabaa ,
b, bab, bba, abb, aabbb, ababb, aabbabb)
aunque no tenemos una forma de solucionar las ecuaciones que se

generan para este ejemplo de verica que el menor punto jo de

f
es (L
1
, L
2
, L
3
), donde L
1
= w a, b |w|
a
= |w|
b
,
L
2
= w a, b |w|
a
> |w|
b
y L
3
= w a, b |w|
a
< |w|
b
.
ON DE ECUA
DAVEY, B. PRIESTLEY, H. Introduction to Lattices and
Order, 2002, Cambridge University Press, Ed. Segunda.
DE CASTRO, R. Teora de la Computacion. Lenguajes,
automatas, gramaticas, Universidad Nacional de Colombia,
Notas de Clase, Unibiblos , 2004.
DE CASTRO, R. Un teorema de punto jo para retculos
booleanos completos y algunas aplicaciones, Universidad
Nacional de Colombia, Notas de Clase, preprint, 2004.
DU, D and KO, K. Problem solving in automata, languages,
and complexity, Jhon Wiley & Sons, 2001.
HESSELINK, W. Solutions of equations in languages, Formal
Aspects of Computing, Springer, London, 2009.
ON DE ECUA
KUPKA, I. Unique Fixpoints in Complete Lattices with
Applications to Formal Languages and Semantics, Foundations
of Computer Science: Potential - Theory - Cognition, 1997, pp
107-115.
MANDRIOLI, D. GHEZZI, C. Theoretical Foundations of
Computer Science, 1987, John Wiley & Sons.
KUNC, M. What do we know about language equations?,
Lecture Notes In Computer Science: Proceedings of the 11th
international conference on Developments in language theory,
2007, pp. 2327, Turku, Finland, Springer-Verlag, Berlin,
Heidelberg.
OKHOTIN, A. Seven families of language equations, 2007,
Techreport, Series: Technical Reports, Turku Centre for
Computer Science (TUCS).
ROMAN, S. Lattices and Ordered Sets, 2008, Springer.
ON DE ECUA
KUNC, M. and OKHOTIN, A. Theory and Applications of
Language Equations, 2007, Proceedings of the 1st
International Workshop, Turku, Finlandia.
SIMOVICI, D. and TENNEY, R. Theory of Formal Languages
with Applications, 1999, World Scientic.
ON DE ECUA

Teoremas de Punto Fijo para La Solución de Ecuaciones Sobre Lenguajes.

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Teoremas de Punto Fijo para La Solución de Ecuaciones Sobre Lenguajes.

Загружено:

Авторское право:

Доступные форматы

TEOREMAS DE PUNTO FIJO PARA LA

y puede ser nito o innito.

consta de todas las concatenaciones de cadenas de

. As el lenguaje se puede escribir como:

(ii) El lenguaje B de todas las cadenas que tienen un n umero

. Una GIC G = (V, , S, P) se dice

y existen para todo x, y P entonces (P, ) es

S existen para todo S P entonces (P, ) es un

y existen para todo x, y P entonces (P, ) es

S existen para todo S P entonces (P, ) es un

(S) un operador que preserva sups contables. Si

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

(S) un operador que preserva sups contables. Si

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

), entonces las funciones union

un lenguaje sobre , la funcion constante

) es el menor punto jo.

) es el menor punto jo.

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

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

). Por el Lema de Arden la

. Nuevamente aplicando el Lema de

). Por el Lema de Arden la

. Nuevamente aplicando el Lema de

Reemplazando (4) en (2):

Reemplazando (5) en (1):

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

Esto implica que el menor punto jo de

y que el lenguaje regular (a b)

A los elementos de este conjunto se le llaman terminos n-arios (o

A los elementos de este conjunto se le llaman terminos n-arios (o

) es una f.p.f entonces

aunque no tenemos una forma de solucionar las ecuaciones que se

Вам также может понравиться