Una funzione ausiliaria nel rep invariant

where

conta(a,i) = if (i >= a.length) return 0;

else if (a[i]) return (1 + conta(a, i-1))

else return (conta(a, i-1))

Previous slide

Next slide

Back to first slide

View graphic version