AUTÓMATA

AUTÓMATAFINITO
FINITONO
NO
DETERMINÍSTICO
DETERMINÍSTICO

EQUIPO 2
INTEGRANTES:
YAZMIN FLORES VEGA
GUSTAVO LEÓN ENCARNACIÓN
DANIEL RAMÍREZ RAMÍREZ
PEDRO A. TREJO TÉLLEZ
 La transición que se ejecuta en una
etapa dada de un AFND puede ser
incierta, es posible aplicar cero, una o
más de una transición mediante el
mismo símbolo de entrada, como
sucede con una maquina que no esta
completamente definida.
En un AFND  puede haber varias
alternativas válidas.

Para algunos estados, dado un símbolo

a, existe un conjunto de estados
siguientes para elegir.

a, b, c Desde e0 con b
b podemos
e0 e1 quedarnos en e0 ó
pasar a e1
 AUTÓMATA FINITO NO DETERMINÍSTICO

Formalmente, un AF reconocedor no determinístico (AFND) se

define como una quíntupla:
M = <E, A, , ei, F>
 E es un conjunto finito de estados; E  
 A es el alfabeto de entrada
  es la función de transición de estados; : E x A  P(E)
P(E) conjunto potencia de E
En general
(ej, a) = {ek, es, et, … }
El AF puede pasar del estado ej al ek ó al
estado es ó al estado et después de leer
el símbolo a en la cinta (ej, ek,es, et,  E;
a  A)
 F es el conjunto de estados finales o de
aceptación; F  E
Aceptación de cadena por AFND

Un AFND acepta una cadena si existe

alguna secuencia de transiciones que a
partir del primer símbolo de la cadena y
empezando en el estado inicial, permite
alcanzar un estado final luego de leer
todos los símbolos de la cadena.
Función de transición no determinística

a, b, c
ND a b c
b
e0
{e0} {e0, e1} {e0}
e0 e1
e1   
 Equivalencia entre AFND
y AFD

Teorema:

Sea L un lenguaje aceptado por un

AFND. Entonces existe un AFD que
acepta el mismo lenguaje L. Es decir,
L(AFND) = L(AFD).
 Algoritmo para obtener AFD a partir de AFND:

Dado el autómata finito no determinístico

MND = <END, A, ND, e0ND, FND>, se define el
autómata finito determinístico correspondiente
MD= <ED, A, D, e0D, FD> como sigue:

 ED = P(END) (conjunto potencia de END).

Cada elemento de ED se representa como
[e1, e2, ..., ei] donde e1, e2, ..., ei  END.
[e1, e2, ..., ei] es un único estado de MD

A: alfabeto de entrada
POR SU ATENCIÓN PRESTADA

¡¡ GRACIAS !!