Procesos Secuenciales de Estado Finito

Un proceso secuencial (PS) P es un triple P = (G , S, T ), donde G es un grafo etiquetado, S es un subconjunto del conjunto de nodos de G que especica nodos iniciales de P y T es un subconjunto del conjunto de nodos de G que especican nodos nales de P . En lo que sigue, los nodos de G sern llamados estados; luego, P sera llamado un proceso a secuencial de estado nito si el grafo G es nito. Llamaremos a una sucesin nita c = 1 2 . . . n de elementos de una traza en el o proceso P = (G , S, T ), si c es una traza en el correspondiente grafo etiquetado G de P . Con abuso de lenguaje llamaremos a los nodos q0 comienzo y qn nal de la traza c en P si estos son los correspondientes comienzo y nal de la traza c en G . De igual modo el nmero n 1 ser llamado la longitud de la traza. u a Una traza ser llamada exitosa en P si el comienzo de sta es desde algn elemento de S y a e u el nal de sta es en algn elemento de T . e u Denimos el comportamiento de P como el conjunto de todas las trazas exitosas en P , denotaremos este conjunto por |P |

M at

em

Ejemplo 2.1. Sea P = (G1 , S, T ) donde G1 es el grafo etiquetado del ejemplo anterior, S = {1} y T = {3}; ilustramos grcamente a P en la siguiente gura a
w.

at

ic

a1

.c om

2 3

sealamos en la gura a los estados de S con un punto oscuro y a los estados de T con n un c rculo. Cualquier camino en P puede representarse por una palabra en , como por ejemplo , , entre otras, luego el comportamiento de P queda representado por |P | = . Ahora podemos interpretar a un proceso secuencial como un grafo etiquetado donde se especican sus estados iniciales y nales.

Un (PS) P ser llamado accesible si para todo estado x P existe una traza con comiena zo en algn x0 S y nal en x. u Un (PS)P es llamado coaccesible si para todo estado x P existe una traza con comienzo en x0 S y nal en algn t T . u

ww

Un (PS) P ser llamado Limpio si es simultneamente accesible y coaccesible. a a Ejemplo 2.2. El proceso denido en el ejemplo anterior (2.1) es accesible y coaccesible, por lo tanto limpio.

Morsmos entre Procesos Secuenciales

Sean S = (G , S, T ) y P = (H , U, V ) procesos secuenciales. Un morsmo F : S P de procesos secuenciales consiste en: 1. Un morsmo de grafos etiquetados F = (F1 , F2 ) de G en H 2. Un par de funciones a : S U , b : T V dadas de manera que el siguiente diagrama conmute. S a U 1 3 Fn M
.c om

2 4 b

Ejemplo 2.3. Consideremos al proceso secuencial S = (G1 , s, T ), donde G1 es el grafo etiquetado del ejemplo 1.3, s = {1} y T = {3}, ilustrado en la gura siguiente: 1 2 3

y al proceso secuencial P = (H , U, V ), donde H es el grafo etiquetado dado en el ejemplo 1.5, U = {m1 } y V = {m2 }, ilustrado en la gura siguiente 1 m1 1 m2 2

ww

w.

M at

Los procesos secuenciales y sus morsmos forman una categor la cual nosotros llamarea mos CPS.

em

at

Donde los i son proyecciones cannicas, para i = 1, 2, 3, 4 o

ic

a1

El morsmo F entre los procesos secuenciales S y P que constituir nuestro ejemplo a constara del morsmo F = (F1 , F2 ), entre los grafos G1 y H dado en el ejemplo 1.5, junto al par de funciones a:sU y b:T V a(1) = m1 b(3) = m2 dadas de manera tal que el siguiente diagrama conmute 1 3 U Fn M 2 4 b V

S a

Y en efecto, que este diagrama conmute queda ilustrado en la siguiente gura 1 a m1 2

.c om

2 3

3 b m2

Mquinas Secuenciales Determin a sticas

Una Mquina Secuencial Determin a stica (MS) es un qu ntuple A = (, Q, q0 , T, ), donde es un alfabeto, Q es un conjunto llamado conjunto de estados, q0 es el estado inicial de A, T es el conjunto de estados nales de A y : { } Q Q es una funcin parcial o llamada funcin de transicin de estados de A, que est denida como sigue: o o a (, q) = q, si = q2 , si alcanzamos a q2 desde q con la etiqueta .

Extendemos esta funcin parcial de acuerdo a o (u, q) = (, (u, q)), para u y . Note que esta denida siempre que (u, q) y (, (u, q)) estn denidas. En lo que sigue e (u, q), pues es una extensin de . escribiremos (u, q) en lugar de o

ww

w.

M at

de este modo F = (F, a, b), es un morsmo entre los procesos secuenciales S y P.

em

at

ic

F1n F1n F1n m1 m2

a1

Ejemplo 2.4. Sea A = (, Q, q0 , T, ), donde = {, }, Q = {1, 2, 3}, q0 = {1}, T = {3}, y la funcin parcial dada por o (, 1) = 2 (, 2) = 3 (, 3) = 3 . El comportamiento de una (MS) A, denotado por |A|, es el conjunto formado por todas las palabras w tal que (w, q0 ) T . En el ejemplo (2.4) el comportamiento de A, es dado por |A| = . Morsmos entre Mquinas Secuenciales Determin a sticas Sean A = (, Q, q0 , T, ) y B = (, X, x0 , U, ) dos (MS). Un morsmo h : A B, es un par de funciones h1 : y h2 : Q X, tales que h2 (q0 ) = x0 , h2 (T ) U y h2 (( Q)) (h1 () h2 (Q)).

h as denida constituir nuestro ejemplo. En efecto, h2 (1) = m1 , h2 (3) = m2 y adems a a h2 [( Q)] = {h2 [(, 1)], h2 [(, 2)], h2 [(, 3)], h2 [(, 1)], h2 [(, 2)], h2 [(, 3)]} h2 [( Q)] = {h2 (2), h2 (3)} = {m2 } y [h1 () h2 (Q)] = {[2 m1 ], [2 m2 ]} = {m2 } De manera que es claro que h2 [( Q)] [h1 () h2 (Q)]. As h es un morsmo entre las (MS) A y B.

ww

h 1 : y h2 : Q X h1 () = 2 h2 (1) = m1 h1 () = 2 h2 (2) = m2 h2 (3) = m2

w.

Sea h = (h1 , h2 ), donde h1 y h2 son funciones dadas por

M at

Ejemplo 2.5. Consideremos dos (MS), A = (, Q, q0 , T, ), dada en el ejemplo anterior y B = (, X, x0 , U, ), donde = {1 , 2 , 3 }, X = {m1 , m2 }, x0 = {m1 }, U = {m2 } y la funcin parcial dada por o (1 , m1 ) = m2 (2 , m2 ) = m2 (3 , m1 ) = m1

em

at

ic

a1

.c om

Las (MS), junto a sus morsmos forman una categor la cual llamaremos CMS. Ms a a an, existe un functor F : CM S CP S que mapea cada (MS) en un (PS), y adems u a |A| = |F (A)| .

Mquinas Secuenciales Generalizadas a

Una Mquina Secuencial Generalizada (MSG) es una Mquina secuencial Determin a a stica , donde es un alfabeto, A = (Q, , q0 , T, ) junto con una funcin : { } Q o dada por: , si = (, q) = w, para alguna w . Esta funcin ser llamada funcin de salida. o a o Ejemplo 2.6. Considere la (MS) A = (, Q, q0 , T, ), donde = {, }, Q = {1, 2, 3}, q0 = {1}, T = {3} y la funcin parcial dada por o (, 1) = 2 (, 2) = 3 (, 3) = 3

Finalmente, A = (, Q, , q0 , T, , ) es una (MSG).

Morsmos de Mquinas Secuenciales Generalizadas a

Sean A = (, Q, P, q0 , T, , ) y B = (, X, , x0 , U, , V ) dos (MSG). Un morsmo h : A B es un triple de funciones h1 : , h2 : Q X, h3 : P tales que h2 (q0 ) = x0 , h2 (T ) U , h2 (h1 h2 ) y h3 V (h1 h2 ).

Ejemplo 2.7. Consideraremos dos (MSG), A = (, Q, P, q0 , T, , ) denida por la (MS) A dada en el ejemplo 2.5, junto a la funcin de salida : Q P , o donde P = {p1 , p2 } es un alfabeto y es dada por: (, 1) = p1 (, 2) = p2 (, 3) = p2

ww

w.

M at

em

(, 1) = 1 (, 2) = 2 (, 3) = 2

at

Sea = {1 , 2 } un alfabeto y considere a la funcin : { } Q , dada por: o

ic

a1

.c om

y B = (, X, , x0 , U, , V ), denida por la (MS) B dada en el ejemplo 2.5, junto a la funcin de salida o V : X , donde = {1 , 2 , 3 } es un alfabeto y V es dada por: V (1 , m1 ) = 1 V (2 , m2 ) = 2 V (3 , m1 ) = 2 Como las (MSG) A y B estn denidas a partir de las (MS) A y B del ejemplo (2.5), junto a a sus correspondientes funciones de salida y V . Sea h = (h1 , h2 , h3 ), donde h1 y h2 son las funciones que denen el morsmo entre las (MS) A y B del ejemplo (2.5), entonces solo debemos mostrar que h3 : P dada por: h3 (p1 ) = 1 h3 (p2 ) = 2 verica h3 V (h1 h2 ) y en efecto V [h1 ()h2 (Q)] = {V [(h1 (), h2 (1))], V [(h1 (), h2 (2))], V [(h1 (), h2 (3))], V [(h1 (), h2 (1))], V [(h1 (), h2 (2))], V [(h1 (), h2 (3))]} = {V (2 , m1 ), V (2 , m2 )} = {2 } h3 [ ( Q)] = {h3 (p1 ), h3 (p2 )} = {2 }. Asi h = (h1 , h2 , h3 ) constituye nuestro ejemplo de morsmo entre (MSG). De aqu resaltamos la siguiente observacin, cada (MSG) A, tiene una correspondiente o (MS), la cual es obtenida a partir de A por la eliminacin de su funcin de salida. o o Denimos el comportamiento de A, denotado por |A| como el comportamiento de su correspondiente (MS). Las (MSG) y sus morsmos forman una categor la cual llamaremos (CMSG). a
ww w.

Gramtica Regular Determin a stica

Una gramtica regular determin a stica (Grm) G sobre es un (PS) de estado nito y limpio con un solo estado inicial y con su grafo etiquetado determin stico.

Ejemplo 2.8. El (PS) P denido en el ejemplo (2.1), ilustrado en la siguiente gura: 1 2 3

M at

em

at

ic

a1

.c om

es de estado nito, es limpio (como se hizo la observacin en el ejemplo 2.2), tiene un solo o estado inicial y con su grafo etiquetado determin stico como queda ilustrado en el ejemplo 1.6, asi este constituye nuestro ejemplo de (Grm). Llamaremos a un lenguaje L sobre , lenguaje regular si existe una (Grm) G sobre tal que |G| = L. La categor (CGrm) de gramticas regulares es una subcategor de (CPS). a a a Las categor (CGrm) y (CM S) son isomorfas; por ende, en adelante consideraremos as una (Grm) como un (MS) y una (MS) como una (Grm) siempre que sea conveniente.

Operaciones con gramticas regulares determin a sticas

Sea G = (G , h0 , T ) y H = (H , m0 , T2 ) dos (Grm) sobre el alfabeto . Considere ahora G H y el diagrama conmutativo siguiente K a G b H
.c om

a1 em at ic

donde G = (Q1 , EG , d0 , d1 ), H = (Q2 , EH , d0 , d1 ) y K = (Q1 Q2 , EK , d0 , d1 ) son grafos dirigidos y a, b, h y g son morsmos de grafos. Luego b h y a g marcan los arcos de K con etiquetas de . De este modo denimos a G H como la componente limpia del proceso secuencial (K , (n0 , m0 ), T T2 ). Luego estamos interesados en ver el comportamiento |G H| que resulta ser |G H| = |G| |H| . En efecto, |G H| = { / (h0 , m0 )() (T1 , T2 )} = { / n0 () T1 y m0 () T2 } = { / n0 () T1 } { / m0 () T2 } = |G| |H|. As tenemos un procedimiento nito para denir el comportamiento |G H| dados los com portamiento de G y H.
ww w.

M at

Proyeccin Shue o
Dados y dos alfabetos disjuntos; es decir, = . Denimos la proyeccin Shue o de la manera siguiente. P : ( ) Considere (, ), si P1 () = (, ), si . Y considere 1 : y 2 : , proyecciones cannicas. o se tiene que = . . . , donde , 1 i n Para cada ( ) 1 n i luego: P () := P (1 . . . n ) = 1 (P1 (1 )) . . . 1 (P1 (1 )), 2 (P1 (1 )) . . . 2 (P1 (1 )) donde para , consideramos concatenando a , denotado por de la siguiente manera: si = (1 , 2 ) y = (1 , 2 ) entonces := (1 1 , 2 2 ). La proyeccin Shue denida as es un homomorsmo. o
.c om

Gramtica Producto Shue a

Sean L1 y L2 lenguajes regulares, y sean G = (G , q0 , T1 ) y H = (H , x0 , T2 ) dos gramticas regulares tales que |G| = L1 y |H| = L2 , donde Q es el conjunto de nodos a de G y X es el conjunto de nodos de H. Supondremos tambin que = . e Denimos la gramtica producto Shue como sigue: consideremos el grafo dirigido G a donde Q X es el conjunto de nodos. es un arco en G si y existe un arco q1 q en G denotando en este caso el arco de G por (q1 , x) (q , x), o si y existe el arco x x en H, denotando en este caso el arco de G por (q, x) (q, x ). Luego G H es la componente Limpia del proceso secuencial (G , (q0 , x0 ), T1 T2 ) y su comportamiento es L1 L2 . Como consecuencia inmediata de sto, el producto shue de dos lenguajes regulares es e un lenguaje regular.

ww

w.

M at

L1 L2 := P 1 (L1 L2 )

em

Sean L1 y L2 , lenguajes regulares donde = , el producto Shue de L1 y L2 denotado por L1 L2 est denido por a

at

ic

a1

Producto Shue