265
De administratieve procedures
Van de administratieve procedures zijn de procedures a en b
reeds onder het hoofd opberg- en terugzoeksysteem behandeld.
Over de andere procedures willen wij nog in het kort enkele opmer
kingen maken.
lamberg [la, i, k, p, n). Bij het opbergen van een lambda-
grootheid la in het rooster Mam wordt een onderscheid
gemaakt tussen twee gevallen.
In het eerste geval wordt met behulp van procedure a (regel
76, 77) geconstateerd dat de parallelle lambda-grootheid (dus met
gelijke indices i, k en p, maar met verschillende index n) reeds in
Mam aanwezig is. Het codegetal van de lambda-grootheid is dan
reeds in «lam aanwezig, en wordt daarom niet berekend en opge
borgen in «lam (regel 79). In het tweede geval wijst procedure a
uit dat de parallelle lambda-grootheid nog niet in Mam aanwezig
is. Dan moet het desbetreffende codegetal wel worden berekend en
in «lam opgeborgen (regel 81). De telling in rooster «lam wordt
dan met 1 opgehoogd (regel 83).
piberg (pi, j, i, k, n). Deze procedure heeft analoge werking
als de procedure lamberg. Uiteraard wordt als zoekproce
dure niet a maar b gebruikt.
schoonmaken. Door deze procedure worden de Mroosters
geheel gevuld met io150 (regel 230, 232, 235), de «-roosters
worden met 0 gevuld (regel 232, 235) en de tellingen
worden op 1 gesteld (regel 237).
lamschoon (p). Deze procedure verwijdert uit Mam alle
lambda-grootheden met één bepaalde index p.
Voor alle codegetallen in «lam wordt nagegaan of het de gezochte
waarde voor p aangeeft (regel 202, 203). Wijst het onderzoek uit
dat een lambda-grootheid met index p voorkomt, dan worden de
twee betrokken waarden in /dam overschreven door de twee in
Mam opvolgende waarden, deze worden weer overschreven door de
daaropvolgende waarden enz. (regel 205-206). Hetzelfde vindt
plaats met de codegetallen (regel 207). Het is alsof men ergens
midden in een stapel getallen een of twee getallen weghaalt, waar
door de bovenliggende getallen alle een resp. twee plaatsen opschui
ven.
Enige details
Ter completering van de beschrijving van het proceduresysteem
is het nodig in te gaan op enkele details.
1. Hoewel het gebruik van de procedures tamelijk eenvoudig is,
is het toch mogelijk de procedures verkeerd aan te roepen. In de
gebruiksbeschrijving in hoofdstuk 4 zijn al een aantal fouten ver
meld die door het proceduresysteem zelf worden aangewezen. De