Как бы я определил рекурсивную функцию, чтобы найти наибольшую степень двойки меньше, чем входное число в VDM?
Функция выглядит следующим образом:
самый большой: N -> N
Все, что у меня есть до сих пор, это:
самый большой (п) =
если n=1, то 0
иначе если n=2, то 1
иначе ... наибольший(...)