Lazi

portée d'un calcul

Contexte

La porptée d'un calcul est l'endroit (le SFP) précis où le calcul s'effectue. Par exemple pour calcul élémentaire univocal sur if 1b a b c d e, la portée du calcul sera if 1b a b.

Définition

Soit x une formule et c un calcul sur x. La portée du calcul c sur x est la plus petite fonction de x sur laquelle c est valide.

La portée de c sur x est y = c sur x porte sur y

Avec le contexte de x, ce sera équivalent à c porte sur y.

L'endroit de la portée de c sur x est le SFP sur x dont le contenue est la portée de c sur x.