UNIVERSIDAD TCNICA ESTATAL DE QUEVEDO

FACULTAD DE CIENCIAS DE LA INGENIERA

INGENIERA EN TELEMTICA
RBOLES Y TEORA DE JUEGOS
TEMA:
MQUINA DE ESTADO FINITO

AUTORES:
ALVAREZ ZAMBRANO CLAUDIO ISRAEL
BERMEO ZAMORA CARLOS ALBERTO
VERA GARCA IVN GUILLERMO
SOLRZANO CASTRO LUIS ENRIQUE

DOCENTE:
ING. YEIKER MNDEZ SOCORRO

CURSO:
2 ING. EN TELEMTICA III SEMESTRE

PERIDO ACADMICO
2015 2016

NDICE

1.

MQUINA DE ESTADO FINITO...................................................................1

2.

DESCRIPCIN DE MQUINAS DE ESTADO FINITO.....................................2

3.

CARACTERISTICAS DE LOS DIAGRAMA DE ESTADO FINITO.......................3

4.

EJEMPLO................................................................................................... 5

5.

VENTAJAS Y DESVENTAJAS DE LAS MQUINAS DE ESTADO FINITO...........6

6.

BIBLIOGRAFA........................................................................................... 8

1. MQUINA DE ESTADO FINITO.

Una Mquina de Estado Finito (Finite State Machine), llamada tambin
Autmata

Finito

es

una

abstraccin

computacional

que

describe

el

comportamiento de un sistema reactivo mediante un nmero determinado de

Estados y un nmero determinado de Transiciones entre dicho Estados.
(Torrico,

s.f.)

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. (Torrico, s.f.)
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), cual es el caso de la mayora de los
sistemas embebidos basados en microcontroladores o microprocesadores.
(Torrico,

s.f.).

Las MEF se describen grficamente mediante los llamados Diagramas de

Estado Finito (DEF), llamados tambin Diagramas de Transicin de Estados.
(Torrico, s.f.)

2. DESCRIPCIN DE MQUINAS DE ESTADO FINITO

Una mquina de estado finito se compone de un nmero finito de estados y
transiciones entre los estados.
Las mquinas de estado finito se descirben como:
M = (S,, A , sk)
Donde
S = {s1, s2, .,sm } es un conjunto finito de nodos
es un alfabeto infinito de etiquetas
A es un conjunto de aristas etiquetadas que unen los nodos
sk es el estado inicial
Los nodos representan los posibles estados.
Las etiquetas representan eventos que provocan un cambio.
Las aristas determinan de qu manera cada estado, dado un evento, se dirige
a otro estado.

3. CARACTERISTICAS DE LOS DIAGRAMA DE ESTADO FINITO

Un Diagrama de Estado Finito es un grfico 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:

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)

crculos.

TRANSICIONES: Las transiciones se las representa mediante flechas que

indican

la

direccin

de

transicin

de

un

estado

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.

Los eventos se anotan en el grfico por encima de las flechas de transicin.

CONDICIONES DE TRANSICIN: Dos transiciones en este sistema de
ejemplo tienen asociadas sus respectivas Condiciones de Transicin. No todas
las transiciones poseen Condiciones de Transicin.
PISO_NUEVO > PISO_ACTUAL: Es la condicin necesaria para que se
produzca una transicin del estado DETENIDO al estado YENDO_ARRIBA.
PISO_NUEVO < PISO_ACTUAL: Es la condicin necesaria para que se
produzca una transicin del estado DETENIDO al estado YENDO_ABAJO.
Las Condiciones de Transicin se anotan por debajo de las flechas de
transicin.
Una pseudo transicin inicial del punto rojo al estado DETENIDO identifica a
este ltimo como el estado inicial de la MEF.

4. EJEMPLO
Un ejemplo sencillo es el modelo del comportamiento de una puerta
Cules son los estados de una puerta?
Cmo se pasa de un estado a otro?
Hay salidas?

EJEMPLO 2
Suponer que se quiere modelar el comportamiento de un horno microondas El
horno microondas posee una puerta. Si la puerta est cerrada, entonces puede
estar o no en funcionamiento (segn se prenda o apague). Estando prendido
no es posible abrir la puerta del horno sin antes apagarlo.
establecer el modo de coccin cualquier momento. (htt)

Es posible

5. VENTAJAS Y DESVENTAJAS DE LAS MQUINAS DE

ESTADO FINITO
VENTAJAS DE LAS MQUINAS DE ESTADO FINITO

Son intuitivas y fciles de entender.

Abstraen convenientemente detalles secundarios que no son necesarios
para el anlisis del sistema a un alto nivel y se centran en aspectos

claves del mismo.

Aportan un componente visual que facilita el anlisis y diseo del

sistema.
Son universalmente aplicables.
Su uso es comn un sistema de transmisin de datos y el uso de

protocolos de comunicacin.
En programacin minimiza grandemente la tendencia a escribir "cdigo
espagueti" y puede ayudar a reducir la cantidad de variable global
necesaria, aumentando al mismo tiempo la confiabilidad del sistema.
(Torrico, s.f.)

DESVENTAJAS DE LAS MQUINAS DE ESTADO FINITO

No son aplicables a todos los problemas de diseo.

Funcionan bien en sistemas pequeos con una cantidad de estados en

el orden de las decenas.

No funcionan bien en sistemas con una cantidad de estados en el orden
de las centenas o miles de estados, aunque en estos casos es posible la

estructuracin mediante una combinacin de MEFs ms pequeas.

La adicin de funcionalidad es un poco inflexible.
Son "planas" por naturaleza, no poseen estructura definida y no
permiten una jerarquizacin de los componentes que minimize la
repeticin innecesaria de ciertos estados. Una mejor alternativa en este
caso es el uso de las Cartillas de Estado (Statecharts) y el uso de UML
(Unified Modelling Language).

6. BIBLIOGRAFA

(s.f.). Obtenido de
http://www.ie.itcr.ac.cr/juanjimenez/cursos/lineales/hidden/ejemplosFS
M.pdf
Torrico, R. A. (s.f.). TecBolivia.com. Obtenido de
http://tecbolivia.com/index.php/articulos-y-tutorialesmicrocontroladores/13-introduccion-a-las-maquinas-de-estado-finito