das Problem, für ein gegebenes Berechnungsschema für eine Funktion und eine gegebene Eingabe a den Funktionswert für a zu berechnen.

Für viele Berechnungsschemata wie Schaltkreise (logischer Schaltkreis) läßt es sich im allgemeinen nicht vermeiden, alle darin enthaltenen Rechenschritte auszuführen, während sich das Auswertungsproblem für andere Berechnungsschemata effizienter lösen läßt. In Branchingprogrammen genügt es, den aktivierten Berechnungspfad zu verfolgen.