Equivalencia de AFD y AFN Existe una equivalencia entre los AFD y AFN, de forma que un autmata M es equivalente a un autmata

M' si L(M) ) L(M') E!em"lo# Los autmatas de la si$uiente fi$ura son equivalentes %&s'rvese que uno es determin(stico y el otro es no determin(stico )in em&ar$o, am&os ace"tan las mismas cadenas

*a que una funcin es un caso es"ecial de relacin (es decir, las funciones son relaciones que "oseen requerimientos adicionales), las funciones de los AFD se consideran como relaciones en los AFN En consecuencia, todo AFD es un AFN La coleccin de len$ua!es ace"tados "or los AFN incluye a todos los len$ua!es ace"tados "or los AFD De esto resulta que los AFN slo ace"tan los len$ua!es ace"tados "or los AFD +or lo tanto, los AFN no son m,s "otentes que los AFD con res"ecto a los len$ua!es que ace"tan Transiciones +odemos am"liar la definicin de autmata finito no determin(stico "ara incluir transiciones de un estado a otro que no de"endan de nin$una entrada -ales transiciones se llaman -Transiciones "orque al reali.arse no consumen nin$/n s(m&olo de entrada +or e!em"lo, los AFN de la si$uiente

En el AFN del inciso a), el autmata "uede cam&iar su estado de 0 1 a 02 sin consumir nada en la entrada %&s'rvese que 02 es el /nico estado de ace"tacin de este AFN )i 3 es cualquier cadena de 1 o m,s aes, este autmata cicla so&re 0 1 4asta que consume las aes 5na ve. que la cadena se vac(a, se des"la.a a 02 y lo ace"ta En el AFN del inciso &), el autmata "uede moverse del estado 0 6 al estado 01 sin consumir nada en la entrada En am&os AFN, la decisin de ele$ir una 7-ransicin se reali.a de la misma forma que la de cualquier otra transicin con eleccin m/lti"le que exista en un AFN (&as,ndose en al$o que no determina el modelo +or tanto, las 7-ransiciones son consistentes con el mati. no determin(stico de la versin que 4emos dado del AFN )i un AFN tiene 7-ransiciones, la relacin de transicin f asocia "ares so&re L x ( 8 9 : ) ; L con su&con!untos de L Es decir, f es una relacin so&re L x ( 8 9 : ) ; L )e "uede a<adir una columna en la ta&la de f "ara colocar los "ares de la forma ()i, ) =uando 4ay 7-ransiciones en un AFN es conveniente su"oner que cada estado tiene una 7-ransicion que se cicla en ese estado 5saremos esto "ara sistemati.ar el c,lculo de los AFN Es decir, el AFN del inciso a), tendr(a la si$uiente ta&la de transicin

f 01 02 06

a 9 0 2: 9 0 1:

& 9 0 6:

9 01:

Conversin de un AFN en un AFD +ara convertir un AFD en un AFN que recono.ca el mismo len$ua!e Este al$oritmo, a menudo es llamado construccin de subconjuntos, es /til "ara simular un AFN "or medio de un "ro$rama de com"utadora En la ta&la de transiciones de un AFN, cada entrada es un con!unto de estados> en la ta&la de transiciones de un AFD, cada entrada es tan solo un estado La idea $eneral tras la construccin AFN a AFD es que cada estado de AFD corres"onde a un con!unto de estados del AFN El AFD utili.a un estado "ara locali.ar todos los "osi&les estados en los que "uede estar el AFN des"u's de leer cada s(m&olo de la entrada Es decir, des"u's de leer la entrara a 2, a6, an, el AFD se encuentra en un estado que re"resenta al su&con!unto - de los estados del AFN alcan.a&les desde el estado de inicio del AFN a lo lar$o de al$/n camino etiquetado con a 2, a6, an El n/mero de estados de AFD "uede ser ex"onencialmente en el n/mero de estados del AFN "ero en la "r,ctica este "eor caso ocurre raramente Al$oritmo (Construccin de subconjuntos) =onstruccin de un AFD a "artir de un AFN Entrada 5n AFN N )alida 5n AFD D que ace"ta el mismo len$ua!e M'todo El al$oritmo construye una ta&la de transiciones tranD "ara D =ada estado del AFD es un con!unto de estados del AFN y se construye tranD de modo que D simular, ?en "aralelo? todos los "osi&les movimientos que N "uede reali.ar con una determinada cadena de entrada )e utili.an las o"eraciones de la si$uiente ta&la "ara locali.ar los con!untos de los estados del AFN (s re"resenta un estado del AFN, y - un con!unto de estados del AFN)

%"eracin Cerradura- (s)

Descri"cin =on!unto de estados del AFN alcan.a&les desde el estado s del AFN con transiciones solamente =on!unto de estados del AFN alcan.a&les desde al$/n estado s en - con transiciones solamente =on!unto de estados del AFN 4acia los cuales 4ay una transicin con el s(m&olo de entrada a desde al$/n estado s en - del AFN

Cerradura- (-)

mueve(-, a)

Antes de detectar el "rimer s(m&olo de entrada N se "uede encontrar en cualquiera de los estados del con!unto cerradura- ()1), donde )1 es el estado de inicio de N )u"n$ase que exactamente los estados del con!unto - son alcan.a&les desde ) 1 con una secuencia de s(m&olos de entrada, y sea a el si$uiente s(m&olo de entrada Al ver a, N "uede trasladarse a cualquiera de los estados del con!unto mueve(-, a) =uando se "ermiten transiciones7 , N "uede encontrarse cualquiera de los estados de cerradura- (-, a), des"u's de ver la a

)e construyen estadosD, el con!unto de estados de D, y tranD, la ta&la de transiciones de D, de la si$uiente forma =ada estado de D corres"onde a un con!unto de estados de AFN en los que "odr(a estar N des"u's de leer al$una secuencia de s(m&olos de entrada, incluidas todas las "osi&les transiciones7 anteriores o "osteriores a la lectura de s(m&olos El estado de inicio de D es cerradura- ()1) )e a<aden los estados y las transiciones a D utili.ando el al$oritmo si$uiente 5n estado de D es un estado de ace"tacin si es un con!unto de estados de AFN que conten$a al menos un estado de ace"tacin de N al inicio, cerradura- (S0) es el nico estado dentro de estadosD y no est marcado; !ile !aya un estado no marcado T en estadosD do be"in marcar T; #or cada s$mbolo de entrada a do be"in %&' cerradura- (mueve(T,a)); i# % no est en estadosD t!en a(adir % como estado no marcado a estadosD; tranD)T, a*&' %; end; end;

El calculo de cerradura7 (-) es un "roceso t("ico de &/squeda en un $rafo de nodos alcan.a&les desde un con!unto dado de nodos En este caso, los estados de - son el con!unto dado de nodos En este caso, los estados de - son el con!unto dado de nodos, y el $rafo est, com"uesto solamente "or las aristas del AFN etiquetadas "or E!em"lo# La si$uiente fi$ura muestra otro AFN N ace"tando el len$ua!e (a @ &)Aa&& )e a"lica el al$oritmo anterior a N

El estado de inicio del AFD equivalente es cerradura- (0), que es A B 91, 2 , 6, C, D :, "uesto que estos son exactamente los estados alcan.a&les desde el estado 1 "or un camino en el que todas las aristas est,n etiquetadas "or %&s'rvese que un camino "uede no tener aristas, de modo que 1 es alcan.ado desde s( mismo "or dic4o camino

Aqu(, el alfa&eto de s(m&olos de entrada es 9a, &: El al$oritmo anterior indica que 4ay que marcar A y des"u's calcular cerradura- (mueve(+, a)) +rimero se calcula mueve (+, a), el con!unto de estado de N que tiene transiciones en a desde miem&ros de A Entre los estados 1,2,6,C y D slo 6 y D tienen dic4as transiciones, a E y a F, de modo que# cerradura- (mueve(,0,-,.,/,012a)) ' cerradura- (3,41)' ,-,.,3,/,5,0,41 Este con!unto se denominar, G As(, tranDHA,aI B G Entre los estados de A, solo C tienen una transicin en & a J, de modo que el AFD tiene una transicin en & desde A a = B cerradura- (,61) ' ,-,.,/,6,5,012 +or tanto, tranDHA,&I B = )i se continua este "roceso con los con!untos G y =, a4ora sin marcar, finalmente, se lle$ar, al "unto en que todos los con!untos que son estados del AFD est'n marcados Esto es cierto "orque ?solo? 4ay 622 su&con!untos distintos de un con!unto de 22 estados, y un con!unto, una ve. marcado, queda marcado "ara siem"re Los cinco con!untos de estados realmente construidos son# A B 91,2,6,C,D : G B 92,6,E,C,K,D,F : = B 92,6,C,J,K,D : DB 92,6,C,J,K,D,L : EB 92,6,C,J,K,D,21 :

El estado A es el estado de inicio, y el estado E es el /nico estado de ace"tacin La ta&la de transiciones com"leta tranD se muestra a continuacin

S$mbolo de entrada 7stado a A G = D E G G G G G b = D = E =

En la si$uiente fi$ura, se muestra un $rafo de transiciones "ara el AFD resultante

PROCESO DE CONVERSION AFND AFD +ara com"render me!or este "roceso se tomar, el si$uiente AFND#

+aso 2# =alcular la funcin de transicin, es decir construir la ta&la de transiciones "ara todos los estados, indicando en la ta&la los estados com"uestos

1 2 6 7 6

2 6 6,E

E Estado com"uesto

+aso 6# +ara cada estado com"uesto $enerado en el "unto anterior, se calcula la funcin de transicin, es decir se com"leta la ta&la

2 6 E 6,E

1 7 6 7 6

2 6 6,E E 6,E

+aso E# )e re"ite el "aso 6 4asta que todos los estado com"uestos 4ayan sido definidos en la ta&la

(No en este caso)

+aso C# )e marcan los estados finales

2 6 E 6,E Estados finales

7 6 7 6

6 6,E E 6,E

+aso J# )e construye el AFD usando la ta&la y etiquetando nuevamente todos los estados que a"arecen en ella (las transiciones que a"arecen vac(as se marcan como transicin al estado de EMM%M)

2 6 E C Estados finales 2 6 E 6,E

1 7 6 7 6

2 6 6,E E 6,E

AFD

Nota# El estado E se eliminar,, "ues no 4ay transiciones que lle$uen a 'ste, quedando el AFD como si$ue