Définitionsredex

redex

nom masculin
/ʁe.dɛks/
  1. MathématiquesExpression à réduire selon les règles d’un système de réécriture.

Définitions issus du Wiktionnaire (via DBnary), sous licence CC BY-SA 3.0.