PRÁCTICA DE AUTÓMATAS FINITO DETERMINÍSTA (AFD)

EJEMPLO 3: A partir del siguiente diagrama construya la tabla de transiciones y

determine los siguientes datos.
EJEMPLO 5: Construya una tabla de transiciones a partir del siguiente diagrama y
escriba símbolos reconocidos por el autómata.

EJEMPLO 6: Construya una tabla de transiciones a partir del siguiente diagrama y

escriba un analizador léxico basado en esa tabla.
EJEMPLO 7: Dado el siguiente diagrama de transiciones obtener A, S, f, qi, F y
decir que lenguaje se genera.

Obtener A, S, f, qi, F
A = {a, b}
S = {q0, q1, q2, q3, q4}
F = {q2,q3,q4}
q1 = {q0}
Tabla de transición

Lenguaje que genera:

A(a/b)*
a/b*
b
EJEMPLO 8: Dado el siguiente diagrama de transiciones obtener A, S, f, qi, F y
decir que lenguaje se genera.

Obtener A, S, f, qi, F
A = {a, b}
S = {q0, q1, q2,q3}
F = {q2}
q1 = {q0}
Tabla de transición

Lenguaje que genera:

A(a/b)

EJEMPLO 9: El siguiente diagrama, ¿Es un diagrama de transición

correspondiente a un AFD? ¿Por qué si o porque no?

No es AFD porque existe más de una transición, con el mismo símbolo de entrada (el
símbolo a sale de q0 a q1 pero también se retorna a q0), ya que por ello se caracterizan
los autómatas finitos no deterministas.
EJEMPLO 10: Realice el diagrama de moore correspondiente a partir de los siguientes datos.
A = {a, b, c}, símbolo de entrada
S = {q0, q1, q2, q3}, estados
qi = q0 Estado inicial
F = {q0, q1}, estados de aceptación
La función de estado próximo F: s*a, s definida por la siguiente tabla:
EJEMPLO 11: Realice el diagrama de moore correspondiente a partir de los siguientes datos.
Sea M=(A, S, f, qi, F) dónde:
A = {a, b}
S = {q0, q1, q2}
qi = q0
F = {q0}
f = se define en la tabla siguiente:
EJEMPLO 12: Realice el diagrama de moore correspondiente a partir de los siguientes datos.
Sea M=(A, S, f, qi, F) dónde:
A= {0, 1}
S= {q0, q1, q2, q3}
qi= q0
F= {q0}
f = se define en la tabla siguiente:

EJEMPLO 13: Realice el diagrama de moore correspondiente a partir de los siguientes datos.
Sea M=(A, S, f, qi, F) dónde:
A={a, b}
S={q0, q1}
qi = q0
F= {q0}
F se define en la siguiente tabla.
EJEMPLO 14: Realice el diagrama de moore correspondiente a partir de los siguientes datos.
Sea M=(A, S, f, qi, F) dónde:
A={a, b}
S={q0, q1, q2, q3}
qi = q0
F= {q0, q1, q2}
f se define en la siguiente tabla.
EJEMPLO 15: Realice el diagrama de moore correspondiente a partir de los siguientes datos.
Sea M=(A, S, f, qi, F) dónde:
A = {a, b}
S = {q0, q1, q2}
qi = q0
F = {q0}
f dada en la siguiente tabla:
EJEMPLO 16: Realice el diagrama de moore correspondiente a partir de los siguientes datos.
qi = q0
F ={q2, q4}
A = {a, b}
S = {q0, q1, q2, q3, q4}
EJEMPLO 17: Realice el diagrama de moore correspondiente a partir de los siguientes datos.
Sea M el AFN dado por: A = {a, b}; S = {q0, q1}; qi = q0; F ={q1}; f dada en la siguiente tabla
Determinar si a2b, ba y b2a están en L(M).

EJEMPLO 18: Realice el diagrama de moore correspondiente a partir de los siguientes datos.
A = {a, b}
S = {q0, q1, q2, q3}
qi = q0
F = {q1, q2}
EJEMPLO 19: Construya un AFD M con símbolos de entrada b que acepte solamente aquellas
cadenas con bbb.
SOLUCION:

EJEMPLO 20: Construir un AFD que reconozca números binarios múltiplos de 5. Por ejemplo,
debe reconocer:
0, 101, 1010, 1111, 10100

EJEMPLO 21: Construya un AF M con símbolos de entrada a y b que acepte solamente aquellas
cadenas con a y b tales que el número de b’s es divisible por 3. (Sugerencia: se recomiendan 3
estados).

EJEMPLO 22: Sean a y b los símbolos de entrada, construya un autómata finito M que acepte
precisamente aquellas cadenas en las que aparezcan a3y b4.

EJEMPLO 23: Construya un AF M con símbolos de entrada a y b que acepte solamente aquellas
cadenas con a y b tales que aabb aparezca como una sub-cadena.
Ejemplo: baaabbba, babaabbaserán aceptables, pero babbaa y aababaa no lo serán.