VDM中的遞歸函數

Question

如何定義遞歸函數來查找VDM中小於輸入數的兩個最大冪？

的功能如下：

最大：N - >ñ

所有到目前爲止，我所得到的是：

最大（N）=

如果n = 1然後0
否則如果n = 2，則1
否則......最大的（...）

Answer 1

這將是索姆就像「其他人加上這個數字的一​​半的最大值」。但是因爲這看起來像一個練習，所以我會讓你弄清楚細節。