¿En qué se diferencia la máquina de Moore de la de Mealy?

En Moore la salida la fija solo el estado actual: el color de la lámpara está atado al nodo (el estado «verde» siempre da luz verde). En Mealy la salida puede depender del estado y de la entrada actual. De eso cambian el grafo de estados y el instante en que cambia la salida.

¿Por qué se llama finito al autómata?

El número de estados distintos es finito y contable: aquí exactamente tres, verde, amarillo y rojo. No hay una condición intermedia o «indefinida»: el sistema está siempre en uno de los nodos dados. Por eso el comportamiento es predecible y se analiza con comodidad.

¿Cómo funciona el reloj en el modo automático?

Un generador da impulsos regulares. En cada pulso se miran las reglas de transición: si al estado actual le toca salir con el impulso, el autómata avanza. La duración de la fase es cuántos pulsos debe quedarse el sistema en ese nodo antes de que dispare la transición.

¿El semáforo es un ejemplo típico de autómata finito?

Sí. Un semáforo simple de ciclo fijo es el ejemplo clásico. Los controladores con sensores (carriles de giro, peatones) también son autómatas finitos, pero con más estados y entradas. Aquí se muestra el ciclo temporal básico.

Autómata finito

Máquina de Moore para un semáforo: ciclo verde–amarillo–rojo por temporizador o avance manual; grafo de estados.

Sobre el modelo

Un autómata finito es un modelo discreto con un número finito de estados, una función de transición y una función de salida; se usa en lógica secuencial y en sistemas de control. Aquí se trata una máquina de Moore para el ciclo usual de un semáforo: verde → amarillo → rojo. En la máquina de Moore la salida (el color de la lámpara) depende solo del estado actual, a diferencia de la máquina de Mealy, donde la salida puede depender también de la entrada. El comportamiento lo fijan la función de transición δ(estado actual, entrada) = estado siguiente y la función de salida λ(estado actual) = salida. La entrada es un pulso periódico (modo automático) o la orden de un paso manual. El grafo de estados muestra nodos-estado y aristas dirigidas de transición. No se modelan sensores, retardos de lámpara ni tiempos imperfectos: el cambio es instantáneo y el ciclo, determinista.

Para quién: Licenciatura: lógica digital, circuitos secuenciales, teoría de autómatas.

Conceptos clave

autómata finito
máquina de Moore
transición de estado
lógica secuencial
diagrama de estados
señal de reloj
estados discretos

Cómo funciona

Máquina de Moore: cada estado fija el color de las lámparas; al vencer el temporizador de la fase o al dar la orden de paso ocurre la transición. A la derecha, el grafo de estados verde → amarillo → rojo.

Preguntas frecuentes

¿En qué se diferencia la máquina de Moore de la de Mealy?: En Moore la salida la fija solo el estado actual: el color de la lámpara está atado al nodo (el estado «verde» siempre da luz verde). En Mealy la salida puede depender del estado y de la entrada actual. De eso cambian el grafo de estados y el instante en que cambia la salida.
¿Por qué se llama finito al autómata?: El número de estados distintos es finito y contable: aquí exactamente tres, verde, amarillo y rojo. No hay una condición intermedia o «indefinida»: el sistema está siempre en uno de los nodos dados. Por eso el comportamiento es predecible y se analiza con comodidad.
¿Cómo funciona el reloj en el modo automático?: Un generador da impulsos regulares. En cada pulso se miran las reglas de transición: si al estado actual le toca salir con el impulso, el autómata avanza. La duración de la fase es cuántos pulsos debe quedarse el sistema en ese nodo antes de que dispare la transición.
¿El semáforo es un ejemplo típico de autómata finito?: Sí. Un semáforo simple de ciclo fijo es el ejemplo clásico. Los controladores con sensores (carriles de giro, peatones) también son autómatas finitos, pero con más estados y entradas. Aquí se muestra el ciclo temporal básico.

Siga con temas cercanos de esta categoría — o todos los 48 de «Ingeniería».

Toda la categoría →

NuevoUniversidad / investigación

Carrito y péndulo: LQR, MPC y PID

Abrir el simulador

Carrito no lineal con péndulo invertido: linealización en la cima, LQR discreto (Riccati), MPC lineal-cuadrático de horizonte finito con P∞ terminal y PID a mano — un solo tope de fuerza.

NuevoUniversidad / investigación

Controlador PID (1D)

Abrir el simulador

Carrito en un riel: coeficientes Kp, Ki, Kd e impulsos aleatorios de velocidad hacia la consigna x = 0.

NuevoEscuela

Árbol de expansión mínima (Prim y Kruskal)

Abrir el simulador

Puntos al azar en el plano, grafo completo con pesos euclidianos: Prim paso a paso desde la raíz o Kruskal con conjuntos disjuntos; se compara el peso total.

PopularEscuela

Compuertas lógicas

Abrir el simulador

AND, OR, NOT, NAND, XOR. Arrastre, conecte y mire el nivel a la salida.

NuevoUniversidad / investigación

Diagrama de ojo de una modulación digital

Abrir el simulador

Ojo NRZ / PAM-4 con conformación de coseno alzado, interferencia entre símbolos, ruido blanco aditivo, jitter de temporización y estimación de la apertura vertical.

NuevoEscuela

Motor paso a paso

Abrir el simulador

Conmutación a paso completo y a medio paso: el rotor gira según la secuencia de bobinas A–B–A′–B′.

Autómata finito

Sobre el modelo

Cómo funciona

Preguntas frecuentes

Simuladores afines

Carrito y péndulo: LQR, MPC y PID

Controlador PID (1D)

Árbol de expansión mínima (Prim y Kruskal)

Compuertas lógicas

Diagrama de ojo de una modulación digital

Motor paso a paso

Autómata finito

Sobre el modelo

Cómo funciona

Preguntas frecuentes