A stateful machine is a machine that uses past outputs, including states during execution, to create novel output. This process is known as feedback.