AUTOMATA FINITO NO DETERMINISTICO

BY Jeffry Gonzlez Garca Sandy Rafael Garca Mateo

AUTMATA FINITO NO DETERMINISTA

Un autmata finito no determinista (abreviado AFND) es un autmata finito que, a diferencia de los autmatas finitos deterministas (AFD), posee al menos un estado q Q, tal que para un smbolo a del alfabeto, existe ms de una transicin (q,a) posible.

AFND

En un AFND puede darse cualquiera de estos dos casos: Que existan transiciones del tipo (q, a)=q1 y (q,a)=q2, siendo q1 q2; Que existan transiciones del tipo (q,), siendo q un estado no-final, o bien un estado final pero con transiciones hacia otros estados.

AFND

Cuando se cumple que un autmata es ND, se dice que el autmata es un autmata finito no determinista con transiciones vacas o transiciones (abreviado AFND-). Estas transiciones permiten al autmata cambiar de estado sin procesar ningn smbolo de entrada. Se puede visualizar como un cambio al autmata finito para permitirle ninguna, una o ms transiciones de un estado sobre el mismo smbolo de entrada.

DEFINICION FORMAL
Formalmente, si bien un autmata finito determinista se define como una 5-tupla (Q, , q0, , F) donde:1 Q es un conjunto de estados; es un alfabeto; es el estado inicial; es una funcin de transicin; es un conjunto de estados finales o de aceptacin.

DIAGRAMA DE TRANSICION

Los AFND tambin se representan mediante tablas o diagramas de transicin

En el diagrama de transicin, hay algn nodo del que parten dos o ms arcos etiquetados con el mismo smbolo del alfabeto, o falta algn arco para algn smbolo del alfabeto. En la tabla de transicin, alguna celda contiene 0 o un conjunto no unitario.

DIAGRAMA

AFND

No determinismo (codominio P(Q)): a partir del estado actual y del smbolo actual de entrada no se puede determinar de forma exacta cul ser el estado siguiente.

Por ejemplo, (q, a) = {q1, q2,...,qm} indica que para el estado actual q y el smbolo de entrada a, el estado siguiente puede ser cualquier estado entre q1 y qm.

Tambin puede darse (q, a) = 0: el estado siguiente no est definido, La interpretacin intuitiva es que ahora el autmata, ante una entrada y un estado dado, puede evolucionar a varios estados posibles (incluyendo un solo estado o ninguno si (q, a)= 0). Es decir es como un algoritmo que en un momento dado nos deja varias opciones posibles o incluso puede no dejarnos ninguna.

EJEMPLO # 1

EJEMPLO # 2

EJEMPLO # 3