Teoría de la computación

INFORMALMENTE:
Es un modelo matemático que se caracteriza por:
Conjunto de entradas y salidas discretas

Conjunto finito de estados

Cada estado del AFD representa lo que se ha recorrido hasta el

momento (memoria) y determina cuál será el camino posterior.
FORMALMENTE:
Es un modelo matemático formado por una quíntupla
D={ ,S, s0,F, }, donde:
=Conjunto de símbolos de transición o alfabeto (entradas)
S=Conjunto finito de estados de transición
s0=Estado único de inicio, donde s0  S
F=Conjunto finito de estados de finalización o aceptación, donde F
S
=Función de transición, se define:
: S x   S, (sS y a )
(s,a)=s´ (lleva a un solo estado)
Reciben el nombre porque:
 Tienen un conjunto finito de entradas
 Determinístico porque con el mismo símbolo del alfabeto no se
puede ir a más de un estado a partir de otro en la función de
transición
Si (s,a)=t y (s,a)=q, luego t=q
={0,1}
1 0 1,0
S={q0,q1,q2}
s0=q0 q0
0
q1
1
q2
F=q2
(q0,0)=q1
(q0,1)=q0
 0 1
(q1,0)=q1
(q1,1)=q2 q0 q1 q0
(q2,0)=q2 q1 q1 q2
(q2,1)=q2 q2 q2 q2
Ejemplo : D={ ,S, s0,F, }
={0,1}
S={q0,q1,q2,q3}
s0=q0
F={q0} Tabla de Transiciones
(q0,0)=q2
Simb
(q0,1)=q1 Estad
0 1
(q1,0)=q3
(q1,1)=q0
q0 q2 q1
(q2,0)=q0 q1 q3 q0
(q2,1)=q3
(q3,0)=q1 q2 q0 q3
(q3,1)=q2
q3 q1 q2
Grafo de Transiciones
Ejercicio: Construir el AFD • Obtener cada uno de los
correspondiente elementos de la
(s0,a)=s1 Quíntupla
(s0,b)=s2 • Construir el grafo de
(s1,a)=s1 transiciones
(s1,b)=s2 • Construir la tabla de
(s2,a)=s1 transiciones
(s2,b)=s0
s0 = Estado de inicio
s1 = Estado final