Lazi

formule compatible avec un calcul

Contexte

Un calcul, qu'il soit élémentaire ou non, ne comprend pas la formule de départ. Hors par exemple le calcul élémentaire "if 1b" ne peut s'appliquer à la formule $F[ equal  ]. Nous définissons ici le domaine d'un calcul, c'est à dire l'ensemble des fonctions compatibles avec celui-ci.

Définition

Soit c un calcul (élémentaire ou non) (sous-entendu pour un certain langage de calcul). On dira qu'une formule f est compatible avec c si il est possible d'appliquer c sur f.