IN: Symbolvorkommen OUT: Instruktion SEM: Berechnung der abschliessenden Instruktionen für ein Symbolvorkommen
SEM: Generierung der Visit-Sequenzen
IN: Symbolvorkommen, die keine Prädikate sind OUT: die maximale Visit-Nummer dieses Symbols SEM: Auslesen der maximalen Visit-Nummer des Symbolvorkommens, Schnittstellenprozedur
IN: aktueller Visit, Regel, aktuller Visit, Symbolvorkommen, Visitnummer OUT: Nummer des Eintrages in der Visitsequenz der Regel SEM: Durchsucht die Visitsequenz nach dem Visit des Symbolvorkommens mit entsprechender Besuchsnummer.
IN: Regel, Symbolvorkommen, Visitnummer OUT: Nummer des Eintrages in der Visitsequenz der Regel SEM: Durchsucht die Visitsequenz nach dem Visit des Symbolvorkommens mit entsprechender Besuchsnummer.
IN: Affixparameter OUT: Visit-Nummer des Affixparameters SEM: Auslesen der Visit-Nummer des Affixparameters, Schnittstellenprozedur
IN: Affixparameter OUT: Instruktion oder NIL für NOP SEM: Erzeugung einer Instruktion in Abhäengigkeit vom übergebenen Affixparameter
IN: Regel OUT: - SEM: topologische Sortierung der Affixparameter anhand ihrer Abhängigkeiten