208
Nadere toelichting aan de hand van een voorbeeld
In hoofdstuk 4 is als voorbeeld behandeld een gelijkvormigheids
transformatie. Met als gegeven y11, x\, yh, x13, y2i, x2i, y23. %2z,
y25, x25, y223, x223 werden gevraagd de coördinaten yx-a, x1s,
Afgezien van enkele administratieve opdrachten bleek het
programma slechts te bestaan uit één lusopdracht:
for i: 5 step 2 until 23 do z (i, 1, 3, 1)
Ditzelfde voorbeeld kan nu uitstekend gebruikt worden als
toelichting op de interne werking van het proceduresysteem. Men
kan aan de hand van het protocol van het proceduresysteem
nagaan wat in dit concrete geval de werking is. Het resultaat kan
in het volgende vraag- en antwoordschema worden weergegeven:
Nr.
vraag
Vraag
Nr.
antwoord
Antwoord
Kunnen y1i en xli berekend
worden
Kan In l13i berekend worden?
3
Is ln H3i reeds bekend
3
neen
4
Kan ln ll3i dan uit coördinaten
worden berekend?
4
neen
5
Kan ln ^31 berekend worden
6
Is ln Z131 reeds bekend
6
neen
7
Kan In H31 dan uit coördinaten
worden berekend
7
ia
ia
8
Kan ln v\zi berekend worden
9
Is ln vizi reeds bekend
9
neen
Kan ln ll3i berekend worden
Is ln lxzt reeds bekend
neen
Kan ln llzi dan uit coördinaten
worden berekend
neen
neen
13
Kan ln ^31 worden berekend?
14
Is ln ^31 reeds bekend
14
ja
13
ja
15
Kunnen dus ln lxzi en ln Z13i
beide worden berekend
15
neen
16
Kan ln l23i worden berekend
!7
Is ln l2zi reeds bekend
17
neen
18
Kan ln l2zi dan uit coördinaten
worden berekend
18
ja
16
ja
!9
Kan ln Z23i berekend worden
y17, x1t, y123, ^123-
1
2
c
J
10
11
11
12
12
10