Lazi

résultat intermédiaire d'un calcul

Contexte

Quand on s'intéresse au processus du calcul on peut vouloir indiquer qu'une formule est un résultat intermédiaire du calcul.

Définition

Soit c un calcul valide sur une formule x et n∈ℕ inférieur à la longueur de c. On dit que y est un résultat intermédiaire de c à l'étape n sur x ssi il existe une troncature (on enlève des éléments de fin) d de c réduisant à n calculs élémentaires telle que y est le résultat du calcul d sur x.

On dit que y est un résultat intermédiaire de c sur x si il existe n∈ℕ inférieur à la longueur de c tq y soit le résultat intermédiaire de c au niveau n sur x.