1. APLICACIONES DE AUTOMATAS
FINITOS
Integrantes:
• Ángeles José Josué
• Mendoza Ángeles Jorge Luis
• Sánchez Martínez Myriam

2. ¿QUÉ ES UN AUTÓMATA FINITO?
 Es un modelo matemático de una máquina que
acepta cadenas de un lenguaje definido sobre un
alfabeto A.
 Lo cual indica si esa cadena pertenece o no al
lenguaje reconocido o aceptado por la máquina.

3. APLICACIONES
1. Análisis de cadenas de caracteres:
 reconocimiento de cadenas que satisfacen ciertos
criterios.
 búsqueda de una cadena en un archivo de texto.
2. Semáforos Peatonales.
3. Modelo de una luz con un temporizador y con
sensor de movimiento
4. Trayectoria de un vehículo evasor de obstáculos.
5. Máquina expendedora de boletos.

4. RECONOCIMIENTO DE CADENAS QUE SATISFACEN
CIERTOS CRITERIOS.
 El siguiente autómata reconoce las cadenas que comienzan
con la subcadena aba.
 Comienza con algo diferente a aba llega a un sumidero del
cual no puede salir. Una vez ha recibido la subcadena aba ya
no importa qué sigue, acepta la cadena.

5. BUSQUEDA DE TEXTO
 Dado un conjunto de palabras, encontrar todos los
documentos que contienen una o más de esas
palabras.
 • Motor de búsqueda: índices invertidos
 • Características que hacen apropiado el uso de
autómatas en una aplicación:
– el depósito cambia rápidamente
• noticias del día
• robot de compras
– los documentos no pueden ser catalogados:
Amazon (páginas generadas a partir de consultas)

6.  Estado inicial con transición a sí mismo para cada
símbolo de entrada (conjetura)
 • Para cada palabra clave a1a2...ak, hay k estados,
q1, q2, ..., qk
 • Transición del estado inicial a q1 con a1, de q1 a
q2 con a2, etc.
 El estado qk indicará que la palabra a1a2...ak ha
sido aceptada

7. EJEMPLO
 AFN que reconoce las palabras web y ebay

8.  Conversión del siguiente AFN en AFD

9.  Inicialmente el semáforo está en rojo para el
peatón y se supone que acaba de pasar a rojo.
 Se quiere garantizar que el semáforo permanezca
en rojo al menos 4 ticks de reloj. Esto quiere decir
que si el peatón oprime el botón y el semáforo
acaba de pasar a rojo debe esperar 4 ticks de reloj
para que pase a amarillo (y luego a verde); si han
pasado 2 ticks sólo debe esperar 2 ticks; y si han
pasado 10 cambia inmediatamente.
Oprimir el botón más de una vez no afecta el
comportamiento. El semáforo permanece en verde
por 4 ticks de reloj.

11.  Al estar apagado (off), el movimiento no afecta el estado.
 Cuando se acciona el interruptor se pasa al estado (on5).
 Mientras haya movimiento se queda en (on5); si hay un
tick de reloj, pasa el estado (on4).
 En (on4): si percibe movimiento pasa al estado (on5); con
un tick de reloj, pasa el estado (on3).
 En (on3): si percibe movimiento pasa al estado (on5); con
un tick de reloj, pasa el estado (on2).
 En (on2): si percibe movimiento pasa al estado (on5); con
un tick de reloj, pasa el estado (on1).
 En (on1): si percibe movimiento pasa al estado (on5); con
un tick de reloj, pasa el estado (sb).
 En (sb): si percibe movimiento pasa al estado (on5) de lo
contrario con un tick de reloj permanece en este estado.
 En cualquier estado se puede pasar al estado (off)
accionando el interruptor.