Escuela Politcnica Nacional

Facultad de Ingeniera Elctrica y Electrnica

TEORA DE INFORMACIN Y COMUNICACIN

MQUINA DE ESTADOS
Nombre: Edwin Cabrera
Fecha: 2016-06-22

Sirven para realizar procesos bien definidos en un tiempo discreto. Reciben una entrada, hacen
un proceso y entregan una salida.
Slo se puede leer un dato en cada paso que se realice, por tanto, el nmero de pasos a seguir
est dado por el nmero de datos a introducir.

MQUINA DE ESTADOS FINITAS

Una mquina de estados finitos es un modelo abstracto para la manipulacin de smbolos, nos
permiten saber si una cadena pertenece a un lenguaje o nos puede generar otro conjunto de
smbolos como resultado.

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 Mquinas de Estado Finito (MEF) sean una herramienta adecuada para el diseo
de Sistemas Reactivos y la Programacin Conducida por Eventos (Event Driven Programming).

Tambin considerado como AUNTMATA FINITO

Los autmatas se caracterizan por tener estado inicial, reciben una cadena de smbolos,
cambian de estado por cada elemento ledo o pueden permanecer en el mismo estado.
Tambin tienen un conjunto de estados finales o aceptables que nos indican si una cadena
pertenece al lenguaje final de una lectura.
Los autmatas se clasifican en 2 tipos:

Autmata finito determinista

Autmata finito no determinista

Diagrama de Estado Finito o Diagrama de Transicin de Estados

Un Diagrama de Estado Finito es un grfico que representa los diferentes estados de una MEF
y todas las transiciones posibles entre los estados.

Escuela Politcnica Nacional

Facultad de Ingeniera Elctrica y Electrnica
TEORA DE INFORMACIN Y COMUNICACIN

Estados: El sistema est formado por tres estados: DETENIDO, YENDO_ARRIBA y

YENDO_ABAJO. Los diferentes estados se los representa mediante bloques cuadrados (como
en este caso) o crculos.
Transiciones: Las transiciones se las representa mediante flechas que indican la direccin de
transicin de un estado a otro.
Eventos: Los eventos para el sistema en este ejemplo son los siguientes:
seleccion_piso: Es un evento externo que se genera toda vez que un usuario selecciona un piso
o llama al ascensor desde otro piso.
arribo_nuevo_piso: Es un evento interno que se genera cada vez que los sensores detectan
que se ha arribado al nuevo piso seleccionado por el usuario.

Bibliografa

http://tecbolivia.com/index.php/articulos-y-tutoriales-microcontroladores/13introduccion-a-las-maquinas-de-estado-finito
Mquinas de Estados Finitos Breve Introduccin-Jorge Alejandro Gutirrez OrozcoEscuela Superior de Cmputo