ESCUELA SUPERIOR POLITÉCNICA AGROPECUARIA DE

MANABÍ “MANUEL FÉLIX LÓPEZ”

 Máquina Enigma (bombe)
Alan Turing
Fue el principal responsable de
descifrar Enigma, el código
secreto utilizado por el Ejército
alemán en la Segunda Guerra
Mundial, contribuyendo con ello
a acortar la guerra.
AUTÓMATA FINITO DETERMINISTA(AFD)

Los autómatas son una representación formal muy

útil que permite modelar el comportamiento de
diferentes dispositivos, máquinas, programas , etc.
■ Máquinas expendedoras de refrescos
■ El comportamiento de un programa (software)
■ El comportamiento de semáforos
 Autómata finito determinista (AFD)
■ Formalmente un AFD es una quíntupla:
A=(Q,, , q0,F)
Q Conjunto finito de estados aceptadores

 Alfabeto de símbolos de entrada

 Función de transición (q,a)p

q0 Q Estado inicial del automata

F Q Conjunto de estados finales o de aceptación

 Simbología:
• Estados, los cuales son
representados por nodos
(cada nodo es etiquetado)
• Estado inicial

• Estado de aceptación o final

• Transición
 Autómata finito determinista

Transición
(q1,a)  q2

• La transición se lee: Que estando en

el estado q1 teniendo una entrada
¨a¨ pasa al estado q2
 Ejemplo 1

Graficar un autómata que represente

una puerta automática, la cual tiene un
sensor de proximidad que permite que
la puerta se abra o se cierre según sea
el caso.
 Ejemplo 1
Tenemos:
Estados:
– q0 = Puerta Cerrada.
– q1 = Puerta Abierta.
Símbolos en el alfabeto (={1,0}):
– 1 = Hay un objeto cercano
– 0 = No hay un objeto cercano
 Ejemplo 1
AFD de la puerta automática
 Ejemplo 2
■ Se trata de representar una máquina expendedora
de refrescos que ofrece dos tipos de refrescos
( Agua, Cola ) a un costo de 50 centavos c/u.
■ Esta máquina solo acepta monedas de 25 y 50
centavos. Una vez que completa 50 centavos,
automáticamente devuelve el excedente.
■ La máquina tiene dos botones
– A = Botella de agua
– C = Botella de cola
 Ejemplo 2
Estados:
– q0 = Estado inicial y a su vez final.
– q1 = Memoria de 0.25 USD.
– q2 = Memoria de 0.50 USD.
 Ejemplo 2
Símbolos en el alfabeto
(={A,C,0.25,0.50})
– 0.25 = 0.25 USD
– 0.50 = 0.50 USD
– A = Botella de agua
– C = Botella de cola
Ejemplo 2