Was ist der Unterschied zwischen den Typen (seq of nat * seq of nat) -> nat
und seq of nat * seq of nat -> nat
Nach dem Language Reference Manual * höhere Priorität hat als -> so die Klammern kein
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: