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. Ms precisamente: Un semiautmata no-determinista es una estructura de la forma donde

Un autmata no-determinista es una pareja un semiautmata no-determinista y

donde SAFND es es un conjunto de estados finales. Si

decimos que se puede transitar a p desde el estado q cuando arriba un smbolo e. Para cada pareja conjunto su imagen bajo la transicin es el , es decir, es el conjunto de estados a los ,

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

Para cada

definimos de

. Una palabra

es

reconocida por el autmata autmata consiste

si algn estado en es final. El lenguaje del todas las palabras que reconoce,

Ejemplo. Sea

el autmata no-determinista tal que

En la siguiente tabla presentamos el clculo de la correspondiente funcin T en algunas palabras:

As pues,

y consecuentemente

Observacin 3.1 Todo autmata finito (determinista) es tambin un autmata finito no-determinista. En efecto, las funciones son casos particulares de relaciones. Por tanto, toda funcin de transicin, es una relacin de transicin.

Representacin de transiciones mediante matrices booleanas

Sea el lgebra booleana de dos elementos, dotada de sus operaciones es 1 slo si ambos x e y son 1; definamos :

usuales de conjuncin, `` '' y disyuncin, `` '':

es 0 slo si ambos x e y son 0. Para cada smbolo de entrada la matriz tal que para todos

Similarmente,

para

definamos tal que para todos :

la

matriz

As pues,

se tiene la relacin,

Ahora bien, la coleccin de matrices booleanas con ndices en Q tiene una estructura de anillo con la operacin suma dada por la disyuncin entrada a entrada,

y el producto booleano de matrices,

Lema 3.1

Si

entonces

. En

particular, si

entonces

Ejemplo. Para el AFND del ejemplo anterior tenemos

Monoides de autmas no-deterministas

El monoide de un autmata no-determinista se construye de manera similar a como se hizo en el caso determinista: Dos palabras son equivalentes, , si

, es decir, si ambas definen a la misma relacin entre estados. Esta relacin , adems de ser de equivalencia, es congruente con la concatenacin. Por tanto, el cociente del autmata AFND. es un monoide, dicho

se construye tambin siguiendo el algoritmo (3.6).

Ejemplo. Aplicando el algoritmo (3.6) al ejemplo anterior, se obtiene las palabras mostradas en la tabla (3.13). Table 3.13: Clculo del monoide del autmata no-determinista.

Se ve que exactamente 21 clases de equivalencia conforman el monoide del autmata. En la tabla (3.14) se muestra cada una de las 21 matrices correspondientes. Table 3.14: Matrices correspondientes a los elementos del monoide del autmata nodeterminista.

Ah, observamos que las palabras 11 y 0011 son reconocidas por el autmata (sus

entradas , correspondientes a un arribo al estado final q4 a partir del inicial q0, asumen el valor 1). Por tanto, cualquier palabra equivalente a una de ellas dos tambin ha de ser reconocida. Se tiene pues que el lenguaje reconocido por el autmata nodeterminista es precisamente la unin de las dos clases de equivalencia [11] y [0011]. Por otro lado, el monoide del autmata no-determinista puede ser dotado, como se hizo anteriormente, de una estructura de autmata finito. Si aqu se declara como finales a las clases [11] y [0011] entonces el autmata resultante ser uno finito que reconoce al mismo lenguaje que el autmata no-determinista. Esta propiedad de ser equivalente a uno finito no es exclusiva del autmata en este ejemplo segn veremos en el lema (3.3.2) ms abajo.

Indeterminismo y determinismo
Diremos que un lenguaje es regular-N si coincide con el lenguaje reconocido por algn autmata no-determinista. Ya que todo autmata finito es en s mismo un autmata no-determinista se tiene que todo lenguaje regular es tambin un lenguaje regular-N. El recproco tambin es cierto. Lema 3.2 (Equivalencia de determinismo e indeterminismo) Todo lenguaje regular-N es regular. Es decir, para todo autmata no-determinista existe un autmata finito tal que .

En efecto, sea un autmata no-determinista. Podemos presentar dos construcciones de autmatas finitos equivalentes a . Primera construccin. Construyamos el monoide del autmata nodeterminista y consideremos su estructura de autmata finito: cada uno de sus elementos es un estado, para cada smbolo definamos la transicin tales

y definamos como estados finales a las clases de equivalencia

que . Una palabra ser reconocida en este ltimo autmata cuando y slo cuando lo sea por . Segunda construccin. Construyamos el autmata finito como sigue: estados: Todo subconjunto de estados ``viejos'' ser un ``nuevo'' estado,

transicin: Todo subconjunto de estados ``viejos'' se transforma en su imagen bajo la funcin de transicin ``vieja'', , es decir, para cada estado inicial: , si y slo si .

Hagamos , la mnada que consta slo del estado inicial ``viejo''. estados finales: Todo subconjunto de estados ``viejos'' que contenga alguno final de sos ser un nuevo estado final: Observamos que rige cada una de las siguientes equivalencias para cualquier palabra :

as pues, y son equivalentes. Observemos tambin aqu que el nuevo conjunto de estados ha de tener 2n elementos, donde n es el nmero de estados ``viejos''. Esto hace crecer mucho el tamao del autmata finito equivalente construdo de esta forma. Bien que en algunos casos tal cota superior al nmero de estados nuevos puede alcanzarse, en muchos otros casos la parte accesible del autmata construdo incluir slo una cantidad mucho menor de estados. Por tanto, en la prctica es muy conveniente construir tan solo la parte accesible del autmata siguiendo la estrategia del algoritmo (3.5) de clculo de estados accesibles. Ejemplo. Consideremos el mismo ejemplo tratado en esta seccin. Cada subconjunto Q del conjunto de estados de 5 caracteres puede ser codificado por una cadena de manera evidente,

y cada una de tales cadenas puede ser vista como la representacin binaria de un nmero entero entre 0 y 31. Nombremos pues con nmeros de 0 a 31 a los elementos del conjunto Q2 de nuevos estados. As por ejemplo ``7'' que en binario es 00111 representa al conjunto y ``16'', 16=(10000)2, es el nuevo estado inicial

. Los nuevos estados finales son todos aquellos que contegan a q4, es decir, que tengan el ltimo bit ``prendido''. Los nuevos estados finales son entonces todos los nmeros impares. Con ayuda de la tabla (3.14), se ve que la funcin de transicin del nuevo autmata es la mostrada en la tabla (3.15). Table 3.15: Transicin en el autmata finito equivalente al no-determinista.

Observamos en este ejemplo que hay muchos estados inaccesibles tan slo por el hecho de que la imagen de la funcin de transicin no incluye a todos los estados. Con el estmulo 0 slo se puede arribar a los estados 0, 4, 8, 12, 16, 20, 24 y 28. Con el estmulo 1 slo se puede arribar a los estados 0, 2, 13 y 15. Si se aplica el algoritmo (3.5) se obtiene el autmata de 8 estados cuya tabla de transicin es la siguiente:

en el que ``16'' es el estado inicial y ``13'' es el nico estado final. http://delta.cs.cinvestav.mx/~gmorales/ta/node60.html 13 Agosto de 2008