Tabla de contenido:
Definición - ¿Qué significa State Machine?
Una máquina de estados es un concepto utilizado en el diseño de programas de computadora o lógica digital. Hay dos tipos de máquinas de estado: máquinas de estado finito e infinito. El primero se compone de un número finito de estados, transiciones y acciones que se pueden modelar con gráficos de flujo, donde el camino de la lógica se puede detectar cuando se cumplen las condiciones. Este último no se usa prácticamente.
Una máquina de estado es cualquier dispositivo que almacena el estado de algo en un momento dado. El estado cambia según las entradas, proporcionando la salida resultante para los cambios implementados. Una máquina de estados finitos tiene memoria interna finita. Los símbolos de entrada se leen en una secuencia que produce una función de salida en forma de una interfaz de usuario.
Las máquinas de estado se representan mediante diagramas de estado. La salida de una máquina de estados es una función de la entrada y el estado actual. Las máquinas de estado juegan un papel importante en áreas tales como ingeniería eléctrica, lingüística, informática, filosofía, biología, matemáticas y lógica. Se utilizan mejor en el modelado del comportamiento de las aplicaciones, la ingeniería de software, el diseño de sistemas digitales de hardware, los protocolos de red, los compiladores y el estudio de la computación y los lenguajes.
Techopedia explica State Machine
El funcionamiento de una máquina de estados comienza desde un estado de inicio. En una transición exitosa termina en un estado de aceptación. La transición se realiza en función de las entradas proporcionadas. El estado actual depende del estado pasado del sistema. El número de estados formados depende de los estados de memoria disponibles. Se habilita una transición en función de ciertas condiciones e indica un cambio de estado. Una acción describe una actividad realizada en el momento dado. Los diferentes tipos de acciones son acción de transición, acción de entrada, acción de entrada y acción de salida.
Los autómatas deterministas tienen exactamente una transición en cada estado para cada entrada posible. En autómatas no deterministas, una entrada de estado conduce a una, muchas o ninguna transición. Una máquina de estados con un solo estado se llama máquina de estados combinatoria y usa solo acciones de entrada.
Los dos grupos diferentes de máquinas de estado son aceptadores y transductores. Los aceptadores producen una salida binaria, en función de si la máquina acepta o rechaza la entrada. Mientras procesa la entrada, si el estado actual está aceptando, se acepta la entrada. De lo contrario, se rechaza. Los idiomas aceptados por las máquinas de estado se denominan idiomas regulares. Los estados iniciales están representados por una flecha que apunta hacia él desde cualquier lugar, mientras que los estados aceptados se representan mediante círculos dobles. Los transductores atienden la salida en función de una entrada dada, utilizando acciones. Las máquinas Moore y Mealy son ejemplos de transductores.
Las máquinas de estado de lenguaje de modelado no modificadas también se usan ampliamente ya que tienen las características de máquina de Moore y Mealy dentro de ellas. Incluyen conceptos adicionales como regiones ortogonales y estados jerárquicamente anidados.
