Eine rekursive Funktion in VDM

Question

Wie würde ich eine rekursive Funktion definieren, um die größte Potenz von zwei unter einer Eingangsnummer in VDM zu finden?

Die Funktion ist wie folgt:

größte: N -> N

Alles was ich habe, so weit ist:

größte (n) =

wenn n = 1 dann 0
sonst, wenn n = 2, dann 1
sonst ... größten (...)

Answer 1

Es wäre som alles wie "sonst eins plus die größte Hälfte dieser Zahl". Aber da dies verdächtig wie eine Übung aussieht, lasse ich Sie die feinen Details ausarbeiten.