Ejercicio 1. Dado el alfabeto Σ={0,1} construya un Autómata Finito
Determinista (AFD) de 3 estados que acepte las palabras que
inicien con cero.
01
00
11
Ejercicio 2. Sea el AFND definido con el alfabeto ∑={a,b} . El
conjunto de cadenas que solo contienen la cadena (ab).
Dado el alfabeto Σ={0,1} construya un Autómata Finito
Determinista (AFD) de 2 estados que acepte las palabras que
terminen en 1.
Ejercicio 4. Realice un AFND con el alfabeto Σ={a,b} que no
contienen la subcadena (ab) y acepta la cadena vacía.
5.1
5.2
5.1
5.3
5.1
A
q0 q1
q1*
λ
q2* q0
B
λ
Aceptadores [q0]
q2
No aceptadores [q1,q2]
q0
∴ AFND
5.2
A
q0* q1
q1*
λ
q2* q0
B
λ
Aceptadores [q0]
q2
No aceptadores [q1,q2]
q0,
q2
∴ AFND
5.3
A
B
Aceptadores [q0]
q0 q1
q1
q1*
q2
q2
No aceptadores [q1,q2]
q2* q0
q0
∴ AFD
Tarea