Moore machine (source code)

= Moore machine
{c}
{title2=$s^+=F(s,a),\ z=G(s)$}

A <Moore machine> is a <finite-state machine> whose output depends only on the current state. In a clocked implementation, a state entered at a <clock edge> determines the following period's output. Specifying an initial state is necessary to define startup behavior.