Mquina de estados

Se ha sugerido que este artculo o seccin sea fusionado con Autmata finito (discusin).
Una vez que hayas realizado la fusin de artculos, pide la fusin de historiales aqu.

Se denomina mquina de estados a un modelo de comportamiento de un sistema con entradas y salidas, en donde las salidas dependen no slo de las seales de entradas actuales sino tambin de las anteriores. Las mquinas de estados se definen como un conjunto de estados que sirve de intermediario en esta relacin de entradas y salidas, haciendo que el historial de seales de entrada determine, para cada instante, un estado para la mquina, de forma tal que la salida depende nicamente del estado y las entradas actuales.

Una mquina de estados se denomina mquina de estados finitos (FSM por finite state machine) si el conjunto de estados de la mquina es finito, este es el nico tipo de mquinas de estados que podemos modelar en un computador en la actualidad; debido a esto se suelen utilizar los trminos mquina de estados y mquina de estados finitos de forma intercambiable. Sin embargo un ejemplo de una mquina de estados infinitos sera un computador cuntico esto es debido a que los Qubit que utilizara este tipo de computadores toma valores continuos, en contraposicin los bits toman valores discretos (0 1). Otro buen ejemplo de una mquina de estados infinitos es una Mquina universal de Turing la cual se puede definir tericamente con una "cinta" o memoria infinita.

La representacin de una mquina de estados se realiza mediante un Diagrama de estados, sin embargo tambin es posible utilizar un Diagrama de flujo.

Es posible clasificar las mquinas de estados en aceptoras o transductoras:

Aceptoras (tambin 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 mquina produce una salida "positiva" (es decir, un "si"), es porque ha "reconocido" o "aceptado" la secuencia de entrada. En las mquinas de estados aceptoras, los estados con salida "positiva" se denominan estados finales.

Transductoras: Son las ms generales, que convierten una secuencia de seales de entrada en una secuencia de salida, pudiendo sta ser binaria o ms compleja, depender de la entrada actual (no slo del estado) y pudiendo tambin prescindirse de un estado inicial.

La bibliografa a veces llama autmata finito a las aceptoras, mientras que en otros casos se emplea autmata como sinnimo de mquina de estados sin importar su tipo.

Las aceptoras son los de mayor inters en la Teora de la Computacin, ms precisamente en la Teora de autmatas, siendo stas ramas de la matemtica. Las transductoras, en cambio, lo son en la electrnica digital y la computacin prctica. Es por eso que, por lo general, en los textos sobre matemtica y ciencias de la computacin se suele hablar de autmatas (y se refieren a las aceptoras) mientras que los de electrnica y computacin prctica hablan de mquinas de estados (y se refieren a los transductoras).

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

Categora:

Programacin