Funktionen in Haskell < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
Gegeben ist eine Haskell Funktion ggT zur Berechnung des größten gemeinsamen Teilers zweier natürlicher Zahlen.
ggT :: (Integer,Interger) -> Integer
ggT (0,n) | n>=0 =n
ggT (m,0) | m>0 =m
ggT (m,n) | n>=M && m>0 =ggT (m,n-m)
| m>n && n>0 = ggT (m-n,n)
Zeigen sie dass ggT für alle nicht negativen Eingaben terminiert.Geben sie dazu ein geeignete Abstiegsfunktion h:Z -> N an und zeigen sie,dass h eine Abstiegsfunktion für ggT ist. h darf für keinen wert des Definitionsbereiches von ggT einen negativen Wert annehmen.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 17:35 Do 29.11.2007 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
