TEORIA DE LA COMPUTACION

AUTOMÁTAS FINITOS NO DETERMINISTAS (AFND)

PARTE 2

Msc. JESÚS ENRIQUE DURÁN V.

UNIVERSIDAD DE PAMPLONA, 2020
 PROBLEMAS A RESOLVER SOBRE AFD
1) Dado el diagrama AFD, obtener sus parámetros y Lenguaje
 PROBLEMAS A RESOLVER SOBRE AFD
Obtención del Lenguaje:
Secuencia: “bb” = Accept
Secuencia: “ab” = Reject
Secuencia: “bba” = Reject
Secuencia: “aabba” = Reject

Secuencia: “aaababbb” = Accept

Secuencia: “aabaaba” = Reject

¿Cuál es el lenguaje?
L (AFD) = { w: w ϵ ∑* / w contiene ba y
termina en un numero impar de b’s }
 PROBLEMAS A RESOLVER SOBRE AFD
2) Dado los parámetros obtener el diagrama y Lenguaje
 PROBLEMAS A RESOLVER SOBRE AFD
Obtención del Lenguaje:
Secuencia: “bb” = Accept
Secuencia: “ab” = Reject
Secuencia: “bba” = Reject
Secuencia: “aabba” = Reject

Secuencia: “aaababbb” = Accept

Secuencia: “aabaaba” = Reject

¿Cuál es el lenguaje?
L (AFD) = { w: w ϵ ∑* / w contiene ba y
termina en un numero impar de b’s }
 PROBLEMAS A RESOLVER SOBRE AFD
3) Dado el alfabeto y Lenguaje –obtener diagrama y parámetros-

L (AFD) = { w: w ϵ ∑* /
w =1 (que
comienzan en 1 }
AUTOMATAS FINITOS NO DETERMINISTAS (AFND)
AUTOMATAS FINITOS NO DETERMINISTAS (AFND)

q2: No es un
estado Final
AUTOMATAS FINITOS NO DETERMINISTAS (AFND)

q3: Es un estado Final

AUTOMATAS FINITOS NO DETERMINISTAS (AFND)

q1: Es un estado Final

AUTOMATAS FINITOS NO DETERMINISTAS (AFND)

q0: No presenta transición

con el símbolo b
AUTOMATAS FINITOS NO DETERMINISTAS (AFND)
AUTOMATAS FINITOS NO DETERMINISTAS (AFND)
 Compromisos

1) Concluir y ampliar los conceptos sobre equivalencia

computacional de los AFD y los AFND
2) Revisar ejercicios sobre diseño de autómatas (libro guía y
otras fuentes
3) Consultar y realizar modelos en jflap sobre máquina de Moore
4) Consultar y realizar modelos en jflap sobre máquina de Mealy
FIN DE LA SEGUNDA PARTE