State

The complete configuration of an Abstract machine at a point during evaluation, comprising the current term and any auxiliary data (e.g., Environment, store, stack). In Pure/Untyped lambda calculus, the state is simply a Lambda term.