Mquinas de Estados Finitos

Cristihan R. Criollo
Universidad de Cuenca.
Facultad de Ingeniera Electrnica y Telecomunicaciones.
Cuenca, Ecuador
cristihan.criollo@ucuenca.ec
Resumen En este documento
Hablaremos brevemente de las
mquinas de estados finitos, sus
principales
caractersticas
y
aplicaciones, un ejemplo y
algunas similitudes que tienen
con otras reas cientficas. Se
har una relacin que tienen las
mquinas de estados finitos en el
campo de la tecnologa y de las
comunicaciones.

I. INTRODUCCIN
Una mquina de estados finitos, o (FSM),
por sus siglas en ingls, Finite State
Machine, es un modelo de computacin
matemtico
utilizado
en
programas
computacionales y circuitos lgicos
secuenciales.
Son
concebidas
como
mquinas abstractas que pueden estar en uno
de finitos estados, es decir sta mquina
tiene un solo estado a la vez (Estado actual)
el cual depende del estado anterior y de la
entrada producida en ese momento. Puede
cambiar de un estado a otro cuando se
produzca una entrada o se cumpla una
condicin (a este cambio se le llama
transicin).

II.

DESARROLLO

Una FMS es definida por su lista de

estados, y la condicin para cada transicin.
Son caracterizadas por tener un estado
inicial, reciben una cadena de smbolos
(entradas), y pueden cambiar de estado por
cada elemento ledo. Tambin tienen un
conjunto de estados finales o estados
Aceptables.
Una mquina de estados finitos se puede
representar con un diagrama en el cual se
puede entender de mejor manera el flujo de
las transiciones. En el siguiente grfico por
ejemplo, si la mquina se encuentra en su
estado inicial 1, entonces la entrada A lo

A
B

traslada al estado 3, y B lo traslada al estado

2. Tambin podemos observar que el estado
3 es un estado de Deadlock.

Ilustracin 1 Mquina de
estados finitos de 3 estados
Para
quienes tenemos un cierto conocimiento
acerca de probabilidad, podemos establecer
una cierta similitud de las mquinas de
estados finitos con las cadenas de Marcov.
Una cadena de Marcov resume el historial
pasado en trminos del estado actual, y la
probabilidad de transicin hacia el prximo
estado depende en el estado actual. Se
podra decir que las cadenas de Marcov son
un tipo de versin probabilstica de las
FSM.

Debido al finito nmero de estados con la

que cuenta una FSM, es en la actualidad la
nica mquina que se puede modelar con un
computador de la era actual, sin embargo
una mquina de estados infinitos se podra
modelar con una computadora cuntica. Las
FSM pueden modelar un gran nmero de
problemas, sin embargo son dbiles, tienen
menor potencia computacional que otros

modelos de computacin debido a que su

memoria es limitada por su nmero de
estados.
El comportamiento de mquinas de
estados finitos puede ser observado en
muchos dispositivos en la sociedad
moderna. Ejecutan una determinada
secuencia de acciones dependiendo en una
secuencia de eventos con los que se
encuentre. As por ejemplo una mquina
tragamonedas se puede modelar con una
mquina de estados finitos ya que
inicialmente est reposo, y siempre y cuando
se ingrese (secuencialmente) la cantidad
correcta de dinero en su interior y se aplaste
el botn de dispensar producto, sta
alcanzar un estado final de activado, en el
cual dispensar tal producto, caso contrario
la mquina queda a la espera que se ingrese
el monto de dinero correcto y que se
presione el botn. As, la mquina no
dispensar si aplastamos el botn y no
hemos ingresado el dinero, porque tambin
depende de sus estados anteriores y no
solamente de la entrada (presionar el botn)
que se le haya dado.
Las mquinas de estados finitos se pueden
optimizar lo cual consiste en encontrar una
mquina con el nmero mnimo de estados
que realice la misma funcin. El algoritmo
ms rpido en realizarlo es el algoritmo de
minimizacin Hopcroft.
Entrando
al
mbito
de
las
telecomunicaciones, muchos protocoles de
comunicacin, por ejemplo el USB, pueden
ser definidos por un diagrama de FSM,
mostrando qu sucede conforme distintas
entradas son aplicadas. Incluso se puede
obtener un compilador que tome las
especificaciones de una FSM y que
produzca el cdigo correspondiente para ese
comportamiento. Tambin en un circuito
digital, una FSM puede ser construida con
un dispositivo lgico programable, puertas
lgicas, flip flops o rels. Ms
especficamente se puede utilizar un registro
para almacenar las variables de estado, un
bloque de lgica combinatoria que
determine la transicin de estado, y un
segundo bloque de la lgica combinatoria
que determine la salida de la FSM.

III. CONCLUSIONES
Las mquinas de estados finitos son
aplicables en todos los campos de estudio,
incluso se dice que debido a que una FSM
puede representar cualquier historial y una
racin, se puede modelar el comportamiento
humano con una mquina de estados finitos.
Los diagramas de FSM, conforman un
mtodo grfico que facilita el mejor
entendimiento de la composicin y sobre
todo de las transiciones de la FSM.
En el campo de la tecnologa es muy
aplicable este modelo, en donde el inters
recae en ciertas respuestas (elctricas,
electrnicas, binarias, etc.) con respecto a
entradas especficas con determinadas
condiciones.
IV.

REFERENCIAS

[ J. A. Gutirrez Orozco, Mquinas de

1] estados finitos, 22 Agosto 2008. [En
lnea].
Available:
http://uncomp.uwe.ac.uk/genaro/Papers/
Veranos_McIntosh_files/alejandroFinal2
008.pdf. [ltimo acceso: 22 septiembre
2015].
[ R. D. Grahan y P. C. Johnson, Finite
2] State Machine Parsing for Internet
Protocols: Faster Than You Think, [En
lnea].
Available:
http://www.cs.dartmouth.edu/~pete/pubs/
LangSec-2014-fsm-parsers.pdf. [ltimo
acceso: 22 Septiembre 2015].
[ Mquinas de Estado Finito, [En
3] lnea].
Available:
http://www2.dc.uba.ar/materias/isoft1/is12007_1/recursos/Apuntes/FSM.pdf.
[ltimo acceso: 22 septiembre 2015].
[ M. James, Finite State Machines,
4] [En lnea]. Available: http://www.iprogrammer.info/babbages-bag/223finite-state-machines.html.
[ltimo
acceso: 22 septiembre 2015].
[ varios, Finite-state machine, [En
5] lnea].
Available:
https://en.wikipedia.org/wiki/Finitestate_machine. [ltimo acceso: 22
Septiembre 2015].
[ varios, Mquinas de estados, [En
6] lnea].
Available:
https://es.wikipedia.org/wiki/M
%C3%A1quina_de_estados.
[ltimo
acceso: 22 Septiembre 2015].