- Máquina de estados
-
Seo sólo de las señales de entradas actuales sino también de las ación de entradas y salidas, haciendo que el historial de señaletermine, 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 sutados y máquina de estados finitos'. 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 traposición los bits toman valores discretos (0 ó 1). Otro buen ejempinta" 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 cuencia 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 be 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 interomputación]], más precisamente en la Teoría de autómatas, siendlas aceptoras) mientras que lo
[[Catego
Wikimedia foundation. 2010.
