Size-change grafer

Det kan dog ses at programmet vil terminere på trods af dette. Dette skyldes
at additionen i tildeling 9 (b+1) ikke influerer på returværdien af programmet,
idet det vi returnere 0 uanset hvad b er (idet a vil være nul). Ved næste kald
bliver b derfor 0 (den er ikke blevet ændret i det foregående kald) og dermed
terminerer programmet efter tildeling 2.
7.1.3 Glenstrup
Glenstrup eksemplerne er oprindeligt konstrueret af Arne Glenstrup [Glenstrup],
men er her taget fra [Frederiksen]
To programmer kræver en særlig kommentar. De er ikke hentet fra andre kilder
som de øvrige, men er nogle vi har lavet selv. Der er tale om Gexgcdimp og Gexpermute2.
Gexgcdimp er en iterativ version af Gexgcd. Gexpermute2 er lavet
for at demonstrerer hvorledes et program kan gå galt ved forkert brug af en global
variabel. Gexpermute genbruger én variabel, og som det fremgår nedenfor,
bevirker det at programmet ikke terminerer. Bruger man derimod to forskellige
variable, vil programmet size-change terminere. Det skal bemærkes at Gexpermute
ikke har den samme funktionalitet som den oprindelige funktion, hvorfor
resultaterne med [Frederiksen] for dette program ikke kan sammenlignes.
Bemærkninger til suiten
De programmer som terminerer her skyldes alle enten et rekursivt kald med en
direkte nedgang i et af parametrene eller en while løkke med en stadigt faldende
betingelse. 3 programmer i suiten size-change terminerer ikke, Gexincr, Gexspl
og Gextrick.
Gexspl og Gextrick Begge disse programmer har et rekursivt kald hvori der
ikke er en skarp nedgang. I Gexspl er det ved tildeling 5 og i Gextrick er det
sekvensen 2, 5, 6 der afstedkommer problemet. Grunden er i Gextrick at ved
at dele beregningerne over to betingede sætninger mister vi sammenhængen
imellem dem.
Gexgcdimp Dette program blev konstrueret for at undersøge om det ville være
muligt at bestemme size-change termination for gcd ved brug af en iterativ metodik
istedet for den rekursive. Dette viste sig ikke at være tilfældet. Grunden
skal søges i sammenhængen mellem parametre og returværdier. Under kald til
hjælpeprocedurer kan vi miste sammenhængen mellem disse, f.eks. hvis vi returnerer
en værdi, der ikke har nogen relation til de parametre proceduren blev
kaldt med. En sådan situation er kun mulig på grund af eksistensen af globale
variable.
Testprogram antal simple løkker SCT? SCT? fra [Frederiksen]
Jex2 2 Ja Ja
Jex3 8 Ja Ja
Jex4 6 Ja Ja
Jex5 6 Ja Ja
Jex6 4 Ja Ja
Wexadd 1 Ja Ja
18