Moore and Mealy machines are the two standard ways to define how a FSM determines its outputs:
Moore Machines
Moore machines depend only on the present state. Outputs may only change following an active clock edge.

Mealy Machines
Mealy machines depend on both the present state and inputs. Outputs can change between active clock edges.

Moore machines have the advantage of being easier output timing to control, but the response may be delayed and more states may be needed.
await dv.view("Scripts/topic-backlinks");