Denkende Machines -- Computers, rekenen, redeneren - CWI

78 HOOFDSTUK 3. MODELLEN VAN BEREKENING
while (y?) {
}
y-;
if (x?) { if (z?) {x+} else {x-} }
else {x+;z+}
Opdracht 3.16 Dit programma werkt alleen goed als we beginnen met een leeg z-register. Kun
je uitleggen waarvoor dit register gebruikt wordt in de programma’s hierboven?
Opdracht 3.17 In veel programma’s kom je ook de enkele if-constructie tegen: if (T) {P}. Het
voert P uit als T slaagt, en doet anders niks. Hoe schrijf je ImPro-code die hetzelfde doet?
Opdracht 3.18 Net zo bestaan er constructies voor het geval van meer dan twee keuzes, bijvoorbeeld
if (T) {P} else if (S) {Q} else {R}. Hoe doe je dit in ImPro na?
Opdracht 3.19 De constructie repeat P until T betekent:
voer P uit totdat T geldt.
Hoe definieer je deze constructie in ImPro?
3.3.4 Functies, Toekenningen en Tests
Met while- en if-constructies wordt de transitiestructuur van een programma duidelijk. Toch
blijft ImPro een beperkte taal, voornamelijk doordat we slechts over twee bijzonder simpele
operaties beschikken en maar één soort test kunnen uitvoeren. Het zou een stuk handiger zijn
als we complexere operaties die we vaak gebruiken slechts éénmaal hoeven te definiëren om ze
vervolgens naar believen te kunnen aanroepen. Zo kwam je bij de RePro- en ImPro-opgaven
reeds twee operaties tegen die je steeds weer moet implementeren: het legen en het kopiëren van
een register. In de uitgebreide taal ImPro+ kunnen we deze operaties in één keer vastleggen.
[EMPTY]() { while (Y) { Y- } }
[COPY](.) { Y := EMPTY(); while (X1?) { X1-; Y+ } }
EMPTY en COPY zijn functienamen waarmee in het vervolg van het programma het geassocieerde
stukje programmatuur steeds weer kan worden aangeroepen. Met de vierkante haken
geven we aan dat we een functie implementeren. Tussen de haakjes na de functieaanhef wordt
met puntjes het aantal registers/variabelen gegeven waarop de functie opereert. Dit zijn de zogenaamde
argumenten van de functie. Zo heeft de functie EMPTY helemaal geen invoer nodig,
terwijl COPY één register als invoer neemt om deze vervolgens te kopiëren.