Redex

Reducible Expression. An expression matching the left hand side of a reduction rule or definition.

Онлайн словарь компьютерных терминов