3.2 Conversión de Un Autómata Finito No Determinista (Afnd) A Autómata Finito Determinista (AFD)

 

3.2 CONVERSIÓN DE UN AUTÓMATA FINITO NO DETERMINISTA (AFND) A AUTÓMATA FINITO DETERMINISTA (AFD). INTEGRANTES SAUL ELIEZER VALDES LÓPEZ VICTOR MANUEL DOMINGUEZ NAVA MANUEL CONTRERAS MARMOLEJO

 

•

  pued puede e ser tran transsformad rmado o a AFD AFD util utiliizando ando un al alg gorit oritmo mo que que tran transsforma orma los los estado ados del del AFND AFND en nue nuevos est estad ados os que que son subc su bcon onju junt ntos os de los los est estados ados orig origin inal ales es y apli aplicca a lo loss mism mismos os la clausura para confirmar la conexida idad entre cada uno de los los componentes component es y así eliminar el indeterminismo.

 

Algoritmo •

•

•

•

•

•

  Sea Sea un autó autóma matta fini finito to estr estric icta tame ment nte e no dete determ rmin inis istta (AFND) definido por la 5-tupla el conjunto de  de estados, T  el alfabeto  el alfabeto de  de  A=, donde Q  es el conjunto 0 símbolos terminales, la relación de transiciones,   F   son los estados finales o de llegada dentro dentro de  Q, q0 es el estado inicial o de partida.  Paso 1  A  se transforma en A AFD=  Paso 2

 Luego se eliminan de   A AFD  todos los estados y sus correspondientes transicioness inalcanzables desde el estado inicial q0A. transicione

 

Ejemplo •

  Véase el proceso de transformación de AFND a AFD del autómata  A=, que reconoce a las cadenas de   as y   bs que comienzan con cualquiera cantidad de estas letras y terminan forzosamente en ab. El siguiente puede ser su diagrama de estados estados

 

•

 Primero se obtiene autómata derivado  A AFD= a partir del conjunto potencia de los estados de A donde:

•

 V  AFD={{q0},{q1},{f},{q0,q1},{q0,f},{q1 ={{q0},{q1},{f},{q0,q1},{q0,f},{q1,f}, ,f}, {q0,q1,f}}.

•

 T  AFD={a,b}.

•

 F  AFD={{f},{q0,f},{q1,f}, {q0,q1,f}}.

 

Paso 2 •

•

•

 Luego se retiran los estados inaccesibles {q1}, {f}, {q1,f}, {q0,q1,f}, determinados mediante la clausura de {q0}, y queda:  A AFD={{q0,{q0,q1},{q0,f}},{a,b},{,,,,,,,,},{ b,{q0}>},{ {q0,f} },{q0}}.