IN: Symbol, Affixpos.Nr. OUT: - SEM: Test, ob Affixposition als Stack oder als globale Variable abgespeichert werden kann - nach Theorem 1 und 3 der Theorie
SEM: Kompletiert die Initialisierung der Menge VDS (analog Step 2 der Theorie)
IN: Regel, Affixparameter OUT: Position in der virtuellen extended visit sequence (EVS) SEM: Ermittelt der Position des Affixparameter in der EVS (entspricht set(a) aus der Theorie)
IN: Regel, Symbolvorkommen, Visit-Nummer OUT: Position in der virtuellen extended visit sequence (EVS) SEM: Ermittelt der Position des durch Symbolvorkommen und Visitnummer eindeutig gekennzeichneten Visits in der EVS (entspricht visit(j,m) aus der Theorie)
IN: Regel, Affixparameter OUT: Plannummer SEM: Ermittelt die Nummer des Visitplanes, während dessen Auswertung der Affixparameter berechnet wird
IN: Tripel OUT: - SEM: bed. Einfügen des Tripels in die modulglobale Liste VDS, die als Menge interpretiert wird, deshalb wird das Tripel nur dann eingefügt, wenn es nicht schon Bestandteil der Liste ist.
IN: Tupel OUT: - SEM: bed. Einfügen des Tupels in die modulglobale Liste VS, die als Menge interpretiert wird, deshalb wird das Tupel nur dann eingefügt, wenn es nicht schon Bestandteil der Liste ist.
SEM: Initialisierung der Struktur PN - Berechnung der Plannummer jedes Visits
IN: Symbol, Affixpositionsnummer OUT: - SEM: Initialisierung der Mengen VDS und VS für eine Affixposition (analog Step 1 Theorie)