Portal

FSM Explorer

Moore FSM · Traffic Light
MOORE Outputs depend only on state — not on current inputs.
State Diagram
Simulation — Traffic Light
State: RED (Q1Q0=00) T=— → Ready to simulate.
Truth Table (input: T = timer expired)
Student Logic
Q1+ =
Q0+ =
Moore outputs — wired directly from state bits (shown for reference):
R = ~Q1 & ~Q0 G = ~Q1 & Q0 Y = Q1 & ~Q0
Speed 1×
MEALY FIRE depends on state AND inputs — output can change within a clock cycle. The telemetry voltage in each bubble depends on state alone.
State Diagram (transition arcs: instructor reveal)
Radar Scope
LED
SEARCH D=— E=— ARM=— L=— P=— 0.8 V
Ready. Set the inputs, then Step or Run.
Transition Table (D detect · E envelope · M master arm · L lock · P pickle)
Transition table — instructor reveal
Student Logic
Q1+ =
Q0+ =
FIRE =
Drive
Speed 1× · 2.0 s
Inputs