Ad es.:
TP,a): GO TO STEP 1 IF 1 IS SCANNED
TP,b): STOP
CE,a): (Σ,f) con Σ = {f(x)=f(x)}
CE,b): (Σ,f) con Σ = {f(x)=x}
fun. ric.,a): x

μy(S(x)+y=0)
fun. ric.,b): x

p₁¹(x) (proiezione)