Máquinas de estado

¿Qué estrategia se utiliza para manejar la complejidad en las máquinas de estados jerárquicas?. Organizar estados en una estructura de árbol. Reducir el número de estados al mínimo absoluto. Evitar cualquier forma de jerarquía. Usar un único estado con múltiples entradas.

¿En qué consiste la no determinación en una máquina de estados?. En tener una única transición posible por cada par entrada-estado. En la predicción exacta de todas las transiciones. En la existencia de múltiples transiciones posibles para un par entrada-estado. En la eliminación de todas las entradas para simplificar el diseño.

¿En qué se diferencia una máquina de Mealy de una máquina de Moore?. En una máquina de Mealy, la salida depende del estado actual y la entrada; en una de Moore, solo del estado actual. Las máquinas de Moore no pueden tener salidas. En una máquina de Mealy, la salida es más predecible. Las máquinas de Moore no tienen estados.

¿Cómo se modela la concurrencia en el diseño de sistemas con máquinas de estados?. Utilizando múltiples máquinas de estados que operan en paralelo. Concentrándose en un único componente a la vez. Evitando cualquier forma de interacción entre componentes. A través de un enfoque secuencial estricto.

¿Qué permite el modelado con máquinas de estados no deterministas?. Capturar comportamientos donde varias transiciones son posibles para una entrada. Representar un único comportamiento para simplificar el diseño. Evitar completamente la especificación de comportamientos. Garantizar que el sistema sea completamente predecible.

¿Una máquina de estados extendida (con variables) tiene más o menos estados que una máquina de estados pura equivalente. En general, más, porque al ser extendida tiene más formas de reaccionar ante los eventos. En general, igual, porque las variables forman parte del estado. En general, menos, porque las variables ayudan a reducir las formas de reacciona.

¿Qué significa que dos máquinas de estado sean concurrentes?. Que ambas se implementan con tareas. Que ambas máquinas de estado están en ejecución a la vez. Es decir, ambas reaccionan a sus entradas generando salidas y transiciones de estado. Que se ejecuta fsm_update para cada una de ellas de forma simultánea.

¿Cuál es una característica clave de las máquinas de estados concurrentes?. Operan secuencialmente, una tras otra. No permiten la comunicación entre máquinas. Requieren que todos los estados sean idénticos. Pueden ejecutar múltiples transiciones simultáneamente.

¿Qué desafío plantea el uso de máquinas de estados no deterministas?. Representar sistemas con un único comportamiento posible. Evitar la especificación de cualquier estado o transición. Hacer el sistema completamente predecible. Manejar la ambigüedad en las transiciones de estado.

¿Qué permite una máquina de estados jerárquica que no permite una plana?. Eliminar la necesidad de entradas. Organizar los estados en niveles de abstracción. Limitar el sistema a un único estado. Ignorar las transiciones entre estados.

¿Cómo se maneja la concurrencia en máquinas de estados concurrentes?. A través de la ejecución simultánea de múltiples máquinas. Permitiendo solo una máquina activa a la vez. Forzando todas las máquinas a compartir un único estado. Ignorando las interacciones entre las máquinas concurrentes.

En una máquina de Mealy, ¿cómo se determina la salida?. Por la cantidad de estados en la máquina. Utilizando el estado actual y la entrada. Basada únicamente en la última entrada. A través de un generador de números aleatorios.

¿Qué característica permite a las máquinas de estados jerárquicas manejar eficientemente la complejidad?. La limitación a un único nivel de jerarquía. La capacidad de definir estados dentro de otros estados. La imposibilidad de definir subestados. Evitar cualquier tipo de estado interno.

¿Qué es una máquina de estados concurrentes?. Una máquina que solo puede estar en un estado a la vez. Una máquina que no permite transiciones de estado. Un modelo que no admite la concurrencia. Un sistema compuesto por múltiples máquinas de estados que operan simultáneamente.

¿Cómo contribuye el modelado jerárquico a la gestión de la complejidad en sistemas grandes?. Permitiendo la descomposición en subcomponentes manejables. Limitando el número de transiciones permitidas. Evitando el uso de subestados y jerarquías. Simplificando el modelo al usar un único nivel de jerarquía.

¿Qué enfoque se utiliza para descomponer un sistema complejo en máquinas de estados jerárquicas?. Combinar todos los estados en un superestado único. Utilizar un único estado con múltiples entradas para representar todo el sistema. Ignorar la jerarquía y tratar todos los estados como iguales. Dividir el sistema en subcomponentes con sus propios estados y transiciones.

¿En qué se basa la salida de una máquina de Mealy durante una transición de estado?. En la cantidad total de estados de la máquina. En una combinación de estados anteriores y futuros. En el estado actual y la entrada recibida. Solo en el estado destino de la transición.

¿Cómo se representan usualmente las máquinas de estados jerárquicas?. Mediante una única tabla de transición. Usando un diagrama lineal sin niveles. Con estados anidados para representar la jerarquía de control. A través de un único estado que encapsula toda la jerarquía.

¿Cuál es el beneficio de usar máquinas de estados concurrentes en el modelado de sistemas?. Simplificar el diseño al operar en un único hilo. Representar sistemas que no requieren interacción. Modelar sistemas complejos con múltiples componentes que interactúan. Evitar la definición de transiciones de estado.

¿Cómo se comunica una máquina de estados jerárquica internamente?. No permite la comunicación interna. Solo a través de entradas externas. Mediante el uso exclusivo de variables globales. Utilizando eventos o acciones que pueden ser internos o externos.

¿Cuál es la mejor opción para el modelado de sistemas electrónicos complejos con máquinas de estados?. Al principio es más fácil con varias máquinas de estados, pero después es conveniente convertirlas a una sola máquina de estados porque así se facilita la verificación formal. Una sola máquina de estados que incluye todos los comportamientos, ya que permite una verificación más eficiente. Varias máquinas de estados concurrentes, contemplando aspectos parciales en cada máquina de estados, ya que facilita la comprensión del modelo y su modificación posterior.

¿Cómo facilitan las máquinas de estados jerárquicas el manejo de sistemas complejos?. Al limitar el sistema a un único estado sin jerarquías. Ignorando la necesidad de transiciones entre estados. Evitando el uso de subestados y transiciones. Permitiendo la organización de estados en una estructura jerárquica.

¿Qué significa que una máquina de estados es determinista?. Que dado un estado inicial y unos estímulos, la máquina siempre llega al mismo estado final y genera las mismas salidas. Que la máquina de estados puede alcanzar un estado del que no puede salir con ninguna secuencia de estímulos. Que existen estados y valores de las señales de entrada ante los cuales la máquina puede evolucionar de dos formas distintas, al menos.

¿Cuál es un ejemplo de aplicación para máquinas de estados concurrentes?. Aplicaciones que funcionan mejor con un enfoque secuencial estricto. Sistemas que no requieren interacciones entre componentes. Sistemas operativos o simulaciones que involucran múltiples procesos simultáneos. Modelos donde solo se permite un estado activo a la vez.

En general, ¿cuántos estados tendrá una máquina de estados pura (no extendida) que modela un sistema?. Como mínimo, tantos como transiciones posibles en la máquina de estados. Tantos como formas distintas de reaacionar ante eventos tenga el sistema. Como mínimo, uno menos que el número de transiciones.

¿Qué ventaja ofrece la no determinación en el diseño de sistemas con máquinas de estados?. Simplifica el diseño al eliminar las entradas. Reduce la necesidad de definir transiciones de estado. Permite un único flujo de control predecible. Facilita la modelización de comportamientos complejos o inciertos.

¿Qué tipo de máquina de estados es más adecuada para modelar sistemas que requieren mantener un historial de eventos?. Una máquina de estados que ignora las entradas. Un sistema de un único estado sin transiciones. Una máquina de estados simple sin memoria. Una máquina de estados no determinista.

¿Qué tipo de máquina de estados permite representar sistemas donde el comportamiento depende de la historia de ejecución?. Determinista sin memoria. No determinista. De un solo estado. Sin estados.

¿En qué parte de una máquina de estados no puedo activar o desactivar señales?. En el inicio. En una acción de una transición. En una condición de una transición (guarda).

¿Cuál es el propósito de modelar sistemas con máquinas de estado?. Diseñar sistemas que no respondan a entradas. Crear sistemas sin estados definidos. Describir formalmente el comportamiento de un sistema. Evitar la especificación de comportamientos del sistema.