A stateful machine is a machine that uses past states to create novel output.
Feedback is fundamental to the operation of a stateful machine. It takes the output of the machine, which includes its state during execution, and passes this data back to the machine as a parameter to create new output.