You are on page 1of 1

M�quina de estados

Ir a la navegaci�nIr a la b�squeda

Se ha sugerido que este art�culo o secci�n sea fusionado con Aut�mata finito
(discusi�n).
Una vez que hayas realizado la fusi�n de contenidos, pide la fusi�n de historiales
aqu�.
Este aviso fue puesto el 29 de enero de 2008.
Se denomina m�quina de estados a un modelo de comportamiento de un sistema con
entradas y salidas, en donde las salidas dependen no s�lo de las se�ales de
entradas actuales sino tambi�n de las anteriores.

Las m�quinas de estados se definen como un conjunto de estados que sirve de


intermediario en esta relaci�n de entradas y salidas, haciendo que el historial de
se�ales de entrada determine, para cada instante, un estado para la m�quina, de
forma tal que la salida depende �nicamente del estado y las entradas actuales.

Una m�quina de estados se denomina m�quina de estados finitos (FSM por finite state
machine) si el conjunto de estados de la m�quina es finito, este es el �nico tipo
de m�quinas de estados que podemos modelar en un computador en la actualidad;
debido a esto se suelen utilizar los t�rminos m�quina de estados y m�quina de
estados finitos de forma intercambiable. Sin embargo un ejemplo de una m�quina de
estados infinitos ser�a un computador cu�ntico esto es debido a que los Qubit que
utilizar�a este tipo de computadores toma valores continuos, en contraposici�n los
bits toman valores discretos (0 � 1). Otro buen ejemplo de una m�quina de estados
infinitos es una M�quina universal de Turing la cual se puede definir te�ricamente
con una "cinta" o memoria infinita.

La representaci�n de una m�quina de estados se realiza mediante un Diagrama de


estados, sin embargo tambi�n es posible utilizar un Diagrama de flujo.

Es posible clasificar las m�quinas de estados en aceptoras o transductoras:

Aceptoras (tambi�n llamadas reconocedoras o discriminadoras): Son aquellas en donde


la salida es binaria (s�/no), depende �nicamente del estado y existe un estado
inicial. Puede decirse, entonces, que cuando la m�quina produce una salida
"positiva" (es decir, un "si"), es porque ha "reconocido" o "aceptado" la secuencia
de entrada. En las m�quinas de estados aceptoras, los estados con salida "positiva"
se denominan estados finales.
Transductoras: Son las m�s generales, que convierten una secuencia de se�ales de
entrada en una secuencia de salida, pudiendo �sta ser binaria o m�s compleja,
dependiendo de la entrada actual (no s�lo del estado) y pudiendo tambi�n
prescindirse de un estado inicial.
La bibliograf�a a veces llama aut�mata finito a las aceptoras, mientras que en
otros casos se emplea aut�mata como sin�nimo de m�quina de estados sin importar su
tipo.

Las aceptoras son los de mayor inter�s en la Teor�a de la Computaci�n, m�s


precisamente en la Teor�a de aut�matas, siendo �stas ramas de la matem�tica. Las
transductoras, en cambio, lo son en la electr�nica digital y la computaci�n
pr�ctica. Es por eso que, por lo general, en los textos sobre matem�tica y ciencias
de la computaci�n se suele hablar de aut�matas (y se refieren a las aceptoras)
mientras que los de electr�nica y computaci�n pr�ctica hablan de m�quinas de
estados (y se refieren a los transductoras).

En UML (Lenguaje Unificado de Modelado), dice que una m�quina de estado es aquel
comportamiento que permite hacer un seguimiento de la vida de un objeto en el
transcurso de un tiempo finito.