I kapittel 9 definerte vi mengden av bitstrenger $B$ induktivt slik:

Her er $B$ den minste mengden slik at $0$ og $1$ er bitstrenger, og hvis $b$ er en bitstreng, er $b\text{0}$ og $b1$ også bitstrenger.

Hvilken av disse rekursivt definerte funksjonene $t$ fra bitstrenger til tall, teller antall forekomster av 0 i en bitstreng, slik at for eksempel $t(0100)=3$?

Legg merke til at de rekursive definisjonene av disse funksjonene er tett knyttet til den induktive definisjonen av bitstrenger.