Der Fall k=0

add p 0 []

= code p 1 (deco p 0 [] + deco p 0 [])

= code p 1 0

= code p 0 (0 `div` p) ++ [0 `mod` p]

= [] ++ [0]

= [0]

Dies ist der Terminierungsfall; es ergibt sich der unechte Überlauf 0 .

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen