Autmatas no-deterministas

Nociones bsicas
Los autmatas no-deterministas se conforman como los autmatas finitos ya vistos, salvo que sus transiciones, en lugar de ser funciones, son relaciones que a cada pareja (estado,estmulo) le asocian varios, uno o ningn estado. M s precisamente! "n semiautmata no-determinista es una estructura de la forma donde

"n autmata no-determinista es una pareja un semiautmata no-determinista y

donde SAFND es es un conjunto de estados finales. #i

decimos que se puede transitar a p desde el estado q cuando arri$a un sm$olo e. %ara cada pareja conjunto su imagen $ajo la transicin es el , es decir, es el conjunto de estados a los ,

que se puede transitar desde q con e. &e manera reiterada, para definimos la imagen como sigue!

%ara cada

definimos de

. "na pala$ra

es

reconocida por el autmata autmata consiste

si algn estado en es final. 'l lenguaje del todas las pala$ras que reconoce,

Ejemplo. #ea

el autmata no-determinista tal que

'n la siguiente ta$la presentamos el c lculo de la correspondiente funcin T en algunas pala$ras!

(s pues,

y consecuentemente

Observacin 3.1 )odo autmata finito (determinista) es tam$i*n un autmata finito no-determinista. 'n efecto, las funciones son casos particulares de relaciones. %or tanto, toda funcin de transicin, es una relacin de transicin.

Representacin de transiciones mediante matrices booleanas

#ea el lge$ra $ooleana de dos elementos, dotada de sus operaciones es - slo si am$os x e y son -. definamos !

usuales de conjuncin, ++ ,, y disyuncin, ++ ,,!

es / slo si am$os x e y son /. %ara cada sm$olo de entrada la matri0 tal que para todos

#imilarmente,

para

definamos tal que para todos !

la

matri0

(s pues,

se tiene la relacin,

(1ora $ien, la coleccin de matrices $ooleanas con ndices en Q tiene una estructura de anillo con la operacin suma dada por la disyuncin entrada a entrada,

y el producto $ooleano de matrices,

Lema 3.1

#i

entonces

. 'n

particular, si

entonces

Ejemplo. %ara el AFND del ejemplo anterior tenemos

Monoides de autmas no-deterministas

'l monoide de un autmata no-determinista se construye de manera similar a como se 1i0o en el caso determinista! &os pala$ras son equivalentes, , si

, es decir, si am$as definen a la misma relacin entre estados. 'sta relacin , adem s de ser de equivalencia, es congruente con la concatenacin. %or tanto, el cociente del autmata AFND. es un monoide, dic1o

se construye tam$i*n siguiendo el algoritmo (2.3).

Ejemplo. (plicando el algoritmo (2.3) al ejemplo anterior, se o$tiene las pala$ras mostradas en la ta$la (2.-2). Table 3.13: 4 lculo del monoide del autmata no-determinista.

#e ve que e5actamente 6- clases de equivalencia conforman el monoide del autmata. 'n la ta$la (2.-7) se muestra cada una de las 6- matrices correspondientes. Table 3.14: Matrices correspondientes a los elementos del monoide del autmata nodeterminista.

(1, o$servamos que las pala$ras -- y //-- son reconocidas por el autmata (sus

entradas , correspondientes a un arri$o al estado final q7 a partir del inicial q/, asumen el valor -). %or tanto, cualquier pala$ra equivalente a una de ellas dos tam$i*n 1a de ser reconocida. #e tiene pues que el lenguaje reconocido por el autmata nodeterminista es precisamente la unin de las dos clases de equivalencia 8--9 y 8//--9. %or otro lado, el monoide del autmata no-determinista puede ser dotado, como se 1i0o anteriormente, de una estructura de autmata finito. #i aqu se declara como finales a las clases 8--9 y 8//--9 entonces el autmata resultante ser uno finito que reconoce al mismo lenguaje que el autmata no-determinista. 'sta propiedad de ser equivalente a uno finito no es e5clusiva del autmata en este ejemplo segn veremos en el lema (2.2.6) m s a$ajo.

Indeterminismo y determinismo
&iremos que un lenguaje es regular-N si coincide con el lenguaje reconocido por algn autmata no-determinista. :a que todo autmata finito es en s mismo un autmata no-determinista se tiene que todo lenguaje regular es tam$i*n un lenguaje regular-;. 'l recproco tam$i*n es cierto. Lema 3.2 ('quivalencia de determinismo e indeterminismo) )odo lenguaje regular-; es regular. 's decir, para todo autmata no-determinista e5iste un autmata finito tal que .

'n efecto, sea un autmata no-determinista. %odemos presentar dos construcciones de autmatas finitos equivalentes a . rimera construccin. 4onstruyamos el monoide del autmata nodeterminista y consideremos su estructura de autmata finito! cada uno de sus elementos es un estado, para cada sm$olo definamos la transicin tales

y definamos como estados finales a las clases de equivalencia

que . "na pala$ra ser reconocida en este ltimo autmata cuando y slo cuando lo sea por . !e"unda construccin. 4onstruyamos el autmata finito como sigue! estados: )odo su$conjunto de estados ++viejos,, ser un ++nuevo,, estado,

transicin: )odo su$conjunto de estados ++viejos,, se transforma en su imagen $ajo la funcin de transicin ++vieja,,, , es decir, para cada estado inicial: , si y slo si .

<agamos , la mnada que consta slo del estado inicial ++viejo,,. estados #inales: )odo su$conjunto de estados ++viejos,, que contenga alguno final de *sos ser un nuevo estado final! =$servamos que rige cada una de las siguientes equivalencias para cualquier pala$ra !

as pues, y son equivalentes. =$servemos tam$i*n aqu que el nuevo conjunto de estados 1a de tener 6n elementos, donde n es el nmero de estados ++viejos,,. 'sto 1ace crecer muc1o el tama>o del autmata finito equivalente construdo de esta forma. ?ien que en algunos casos tal cota superior al nmero de estados nuevos puede alcan0arse, en muc1os otros casos la parte accesi$le del autmata construdo incluir slo una cantidad muc1o menor de estados. %or tanto, en la pr ctica es muy conveniente construir tan solo la parte accesi$le del autmata siguiendo la estrategia del algoritmo (2.@) de c lculo de estados accesi$les. Ejemplo. 4onsideremos el mismo ejemplo tratado en esta seccin. 4ada su$conjunto Q del conjunto de estados de @ caracteres puede ser codificado por una cadena de manera evidente,

y cada una de tales cadenas puede ser vista como la representacin $inaria de un nmero entero entre / y 2-. ;om$remos pues con nmeros de / a 2- a los elementos del conjunto Q6 de nuevos estados. (s por ejemplo ++A,, que en $inario es //--representa al conjunto y ++-3,,, -3B(-////)6, es el nuevo estado inicial

. Los nuevos estados finales son todos aquellos que contegan a q7, es decir, que tengan el ltimo $it ++prendido,,. Los nuevos estados finales son entonces todos los nmeros impares. 4on ayuda de la ta$la (2.-7), se ve que la funcin de transicin del nuevo autmata es la mostrada en la ta$la (2.-@). Table 3.1$: )ransicin en el autmata finito equivalente al no-determinista.

=$servamos en este ejemplo que 1ay muc1os estados inaccesi$les tan slo por el 1ec1o de que la imagen de la funcin de transicin no incluye a todos los estados. 4on el estmulo / slo se puede arri$ar a los estados /, 7, C, -6, -3, 6/, 67 y 6C. 4on el estmulo - slo se puede arri$ar a los estados /, 6, -2 y -@. #i se aplica el algoritmo (2.@) se o$tiene el autmata de C estados cuya ta$la de transicin es la siguiente!

en el que ++-3,, es el estado inicial y ++-2,, es el nico estado final. 1ttp!DDdelta.cs.cinvestav.m5DEgmoralesDtaDnode3/.1tml -2 (gosto de 6//C