Lazi

NFSFP (Non Functional SFP) (de niveau n)

Contexte

On cherche à caractériser les SFP qui ne pointe pas sur une SFP fonction. Cela peut être utile quand on voit un SFP en tant qu'adresse de l'endroit à calculer, car alors il n'y a pas d'intéret à pointeur sur une partie fonction car pointer sur la sous-formule la plus large ayant cette fonction donne le même résultat. Par exemple pour désigner un calcul élémentaire sur if 1b a b c d, il est inutile d'utiliser le SFP $L[0b,0b], le SFP ∅l suffit.

Définition

Un NFSFP (Non Functional SFP) est soit ∅l soit un SFP argument. Son niveau est 0 pour ∅l et sinon le niveau du SFP argument (le nombre de 1b dans la liste).