UNIVERSIDAD TECNICA DE MANABÍ

NOMBRE:
ELVIA ELIANA IBARRA ALCÍVAR
PROFESOR:
ING. VICENTE ZAMBRANO
MATERIA:
MATEMÁTICA DISCRETA
NIVEL:
SEGUNDO SEMESTRE
ESPECIALIDAD:
ING. EN TECNOLOGÍAS DE LA INFORMACIÓN
AÑO LECTIVO:
2020-2021
 APLICACIÓN DE MÁQUINAS DE ESTADO FINITO
Una Máquina de Estado Finito (Finite State Machine), llamada también Autómata
Finito es una abstracción computacional que describe el comportamiento de un
sistema reactivo mediante un número determinado de Estados y un número
determinado de Transiciones entre dicho Estados.

Las Transiciones de un estado a otro se generan en respuesta a eventos de entrada

externos e internos; a su vez estas transiciones y/o subsecuentes estados pueden
generar otros eventos de salida. Esta dependencia de las acciones (respuesta) del
sistema a los eventos de entrada hace que las Máquinas de Estado Finito (MEF)
sean una herramienta adecuada para el diseño de Sistemas Reactivos y la
Programación Conducida por Eventos (Event Driven Programming), cual es el caso
de la mayoría de los sistemas embebidos basados en microcontroladores o
microprocesadores.

Un Diagrama de Estado Finito es un gráfico que representa los diferentes estados

de una MEF y todas las transiciones posibles entre los estados.

Como ejemplo, consideremos un muy simplificado sistema de control de un

ascensor:
 Definición del problema:

Comportamiento de un horno microondas:

El horno microondas posee una puerta. Si la puerta está cerrada, entonces puede
estar o no en funcionamiento (según se prenda o apague). Estando prendido no es
posible abrir la puerta del horno sin antes apagarlo. También asumamos lo
siguiente: en cualquier momento es posible establecer el modo de cocción.

Modo de
cocción

Modo de Cerrar puerta

cocción
Puerta cerrada
y horno
ap agado
Puerta abi erta y
encendido
deshabilitado

Abrir puerta Prender horno

Apagar horno

Puerta cerrada
y horno Modo de
prendido cocción
Análisis de Datos: (Análisis de datos del problema a desarrollar)

Modelaremos una puerta que se abre y se cierra, y por otro un horno que se prende
y apaga y trataremos el modo de cocción de manera independiente.
Conclusiones:

Las Maquinas de estados Finitos, nos sirven para realizar procesos bien definidos
en un tiempo discreto. Reciben una entrada, hacen un proceso y nos entregan una
salida.

Notemos que estas máquinas hacen una computación. Por esta misma razón es
que a lo largo de la investigación les presentamos una variedad de máquinas que
tienen mucha relación y que pueden resolver un estado finito.