VDMでの再帰関数

Question

VDMで入力数より2の最大の累乗を見つけるために再帰関数を定義するにはどうすればよいですか？次のように

機能は次のとおりです。

最大：N - > N

私がこれまで持っているすべてがある：

1 = Nの場合=

（n）を最大0
else if n = 2 then 1
else ...最大（...）

Answer 1

これはsom 「この番号の半数のうち最大のもの」などのように。しかし、これは練習のように疑わしいように見えるので、細かい細部を理解できるようにします。