Lazi

loose (langage de calcul et niveau)

Contexte

Il est nommé "libre" car il est possible de calculer n'importe quelle partie de la formule. Les calculs élémentaires fondamentaux sont les mêmes (if et distribute). Pour une même formule, le calcul libre pourra produire plus de résultats que le calcul univocal car on pourra calculer les sous-parties indifféremment.

Définition du langage de calcul "loose"

Un calcul élémentaire "loose" est représenté par un NFSFP. Le calcul élémentaire est le calcul élémentaire univocal à l'endroit désigné par ce NFSFP.

Remarque: un calcul univocal est un calcul loose où les SFP sont tous les chemins désignant la formule globale.

Définition du niveau d'un calcul élémentaire "loose"

Soit s le NFSFP représentant un calcul élémentaire "loose", son niveau est le niveau du NFSFP s.