A functional computation consists of replacing subexpressions by equal (with regards to the function definitions) subexpressions until no more replacements (or reductions) are possible and a value or normal form is obtained.
Un calcul funcțional constă în înlocuirea subexprimărilor cu subexprimări egale (în ceea ce privește definițiile funcțiilor) până când nu mai sunt posibile înlocuiri (sau reduceri) și se obține o valoare sau o formă normală.