Denkende Machines -- Computers, rekenen, redeneren - CWI

3.3. PROGRAMMEREN 77
; het symbool voor aaneenrijging. We hebben op deze manier geen expliciete regelnummering
nodig.
Naast de while-lussen gebruikt een moderne programmeertaal de simpelere if-constructie
voor keuze die zich niet als een lus gedragen. Deze constructie heet ook wel selectie en heeft als
algemeen formaat:
if (T) { P } else { Q }.
Het programma voert de instructie P uit indien de test T slaagt. In het geval dat C faalt,
dan wordt Q uitgevoerd. Zouden we deze constructies aan RePro toevoegen, dan hebben we in
principe geen expliciete regeltransities meer nodig, en daarmee is ook de nummering van regels
overbodig geworden. Een programma stopt gewoon als het aan het einde van het programma
gekomen is. Onze nieuwe programmeertaal noemen we ImPro. Deze stelt ons in staat om direct
een stroomdiagram van een telraamberekening als programma op te schrijven.
Hieronder volgt een voorbeeld dat zowel een herhalingslus als een aantal selecties bevat.
Het RePro-programma berekent het verschil tussen twee getallen x en y, ofwel de uitkomst van
|x − y|, in z.
PSD — verschilalgoritme
y?
y−
Y
Y
x?
z?
x+ x−
N
x+
z+
N
0. y? 1 | 8
1. y- 2
2. x? 3 | 6
3. z? 4 | 5
4. x+ 0
5. x- 0
6. x+ 7
7. z+ 0
Een PSD voor dit programma zie je hiernaast. De selectiestructuur
is een rechthoek met een conditie in het
midden en de code voor de twee mogelijke uitkomsten,
‘ja’ en ‘nee’, links en rechts daaronder. Het PSD leidt
vervolgens gemakkelijk tot een ImPro-programma. Zie
hieronder.