Este aviso fue puesto el 11 de septiembre de 2019.
Se denomina máquina de estados a un modelo de comportamiento de un sistema con entradas y salidas en donde las salidas dependen no solo 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 sirven de intermediarios 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 y 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 se debe a que los cúbit que utilizaría este tipo de computadores toma valores continuos. En contraposición los bits toman valores discretos (0 o 1). Otro 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. Convierten una secuencia de señales de entrada en una secuencia de salida, pudiendo esta ser binaria o más compleja, según la entrada actual (no solo 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 estas ramas de la matemática. Las transductoras, en cambio, lo son en la electrónica digital y la computación práctica. Por eso 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.
Datos:Q6035379
Noviembre 14, 2021
máquina, estados, este, artículo, sección, necesita, referencias, aparezcan, publicación, acreditada, este, aviso, puesto, septiembre, 2019, denomina, máquina, estados, modelo, comportamiento, sistema, entradas, salidas, donde, salidas, dependen, solo, señales. Este articulo o seccion necesita referencias que aparezcan en una publicacion acreditada Este aviso fue puesto el 11 de septiembre de 2019 Se denomina maquina de estados a un modelo de comportamiento de un sistema con entradas y salidas en donde las salidas dependen no solo de las senales de entradas actuales sino tambien de las anteriores Las maquinas de estados se definen como un conjunto de estados que sirven de intermediarios en esta relacion de entradas y salidas haciendo que el historial de senales de entrada determine para cada instante un estado para la maquina de forma tal que la salida depende unicamente del estado y las entradas actuales Una maquina de estados se denomina maquina de estados finitos FSM por finite state machine si el conjunto de estados de la maquina es finito y es el unico tipo de maquinas de estados que podemos modelar en un computador en la actualidad Debido a esto se suelen utilizar los terminos maquina de estados y maquina de estados finitos de forma intercambiable Sin embargo un ejemplo de una maquina de estados infinitos seria un computador cuantico Esto se debe a que los cubit que utilizaria este tipo de computadores toma valores continuos En contraposicion los bits toman valores discretos 0 o 1 Otro ejemplo de una maquina de estados infinitos es una maquina universal de Turing la cual se puede definir teoricamente con una cinta o memoria infinita La representacion de una maquina de estados se realiza mediante un diagrama de estados Sin embargo tambien es posible utilizar un diagrama de flujo Es posible clasificar las maquinas de estados en aceptoras o transductoras Aceptoras tambien llamadas reconocedoras o discriminadoras Son aquellas en donde la salida es binaria si no depende unicamente del estado y existe un estado inicial Puede decirse entonces que cuando la maquina produce una salida positiva es decir un si es porque ha reconocido o aceptado la secuencia de entrada En las maquinas de estados aceptoras los estados con salida positiva se denominan estados finales Transductoras Son las mas generales Convierten una secuencia de senales de entrada en una secuencia de salida pudiendo esta ser binaria o mas compleja segun la entrada actual no solo del estado y pudiendo tambien prescindirse de un estado inicial La bibliografia a veces llama automata finito a las aceptoras mientras que en otros casos se emplea automata como sinonimo de maquina de estados sin importar su tipo Las aceptoras son los de mayor interes en la teoria de la computacion mas precisamente en la teoria de automatas siendo estas ramas de la matematica Las transductoras en cambio lo son en la electronica digital y la computacion practica Por eso en los textos sobre matematica y ciencias de la computacion se suele hablar de automatas y se refieren a las aceptoras mientras que los de electronica y computacion practica hablan de maquinas de estados y se refieren a los transductoras En UML lenguaje unificado de modelado dice que una maquina de estado es aquel comportamiento que permite hacer un seguimiento de la vida de un objeto en el transcurso de un tiempo finito Datos Q6035379 Obtenido de https es wikipedia org w index php title Maquina de estados amp oldid 122040583, wikipedia, wiki, leyendo, leer, libro, biblioteca,
