redex

About 0.02 uses per million words.

Meaning

1. noun Something to be reduced according to the rules of a formal system.

Similar words

leftmost reduction abbreviation rewrite beta reduction rationalization rule conversion reduced algebra eliminand

Often followed by

is in and of with for at that to