evaluatieoperatie

Evaluatieoperatie is een term die in wiskunde en informatica wordt gebruikt voor het proces waarbij de waarde van een uitdrukking of functie wordt bepaald. Het omvat vaak het substitueren van waarden voor variabelen en het uitvoeren van bewerkingen volgens de regels van de gebruikte notatie. De evaluatieoperatie kan numerieke of symbolische waarden opleveren, afhankelijk van de context en de taal of het formalisme dat wordt toegepast.

In de wiskunde gaat evaluatie om het berekenen van de waarde van een uitdrukking. Bijvoorbeeld, de evaluatie van 3x + 2 met de toewijzing x = 4 levert 14. Bij een functie f geldt f(a) als de evaluatie van de uitdrukking die de functie bij de invoerwaarde a beschrijft. Symbolische evaluatie kan ook leiden tot vereenvoudigde vormen of canonicalisatie van uitdrukkingen.

In informatica regelt de evaluatieoperatie hoe expressies tijdens de uitvoering van een programma worden omgezet in waarden. Programmeertalen kiezen vaak een evaluatiestrategie, zoals eager (onmiddellijke) evaluatie of lazy (uitgestelde) evaluatie. De volgorde van evaluatie kan van invloed zijn bij bijwerkingen of afhankelijkheden tussen subexpressies.

Formeel kan evaluatie worden gezien als een relatie of functie die een syntactische voorstelling en een omgeving (bindings van variabelen) naar een waarde bindt. In talen die referentiële transparantie bieden, levert dezelfde uitdrukking altijd dezelfde waarde op zonder bijwerkingen; in talen met bijwerkingen kan evaluatie bovendien de toestand van de machine veranderen.

Zie ook: substitutie, interpretatie, semantiek van programmeertalen, evaluatiestrategieën, normalisatie.