Lazi

niveau (argumental) d'un SFP

Contexte

La notion de niveau argumental rejoint la notion de fonction traditionnelle : dans "f (x1,x2,...,xn)" x1,x2,...,xn sont des arguments de niveau 1. Dans "f (x1,g (y1,y2,...,yn),...,xn)" y1,y2,...,yn sont des arguments de niveau 2. Cela se traduit pour les SFP par le nombre de 1b qu'ils contiennent : à chaque 1b on désigne un argument.

Définition

Soit s un SFP et n∈ℕ. On dit que s est un SFP de niveau argumental n ssi s est un SFP dont la liste contient n 1b.

Dans un contexte non ambigu on racourcira en "niveau du SFP".