FUNKTIONEN-ALGORITHM E N UND GRAPHSCHEMATA vop GONTER ASSER in Greifswald In der vorliegenden Note aoll gezeigt werden, daB die in [l] dcfinierten Funktioncn-Algorithmen den von KALOUJNINE [3] und PETER [7] betrachteten Graphschemata gleichwertig sind, die ihrerseits eine Riizisicrung der FluBdiagramme von J. v. NEUMANN [6] darstellen. Wir beginnen mit einei relationentheoretischen Darstellung der Grundbegriffe der Theorie der Graphschemata. Dabei wird u. a. angestrebt, miiglichst signifikante deutschsprachige Bezcichnungen fur diese Grundbegriffe zu gebcn. Unter einem Struktur-Uraphen') (fur ein Graphschema) verstehcn wir ein Tripe1 r = (bl, R , F ) aus einer endlichen Menge M , einer biniiren Relation R in M und einer eindeutigen Abbildung F aus M in sich mit folgcnden Eigenschaften : (1) Es gibt genau ein o E M , zu dem kcin x E M mit x R o existiert;
( 2 ) Es gibt gcnau ein e E M, zu dem kein y E M mit e R y existiert ;
(3) Zu jedcm x E M existieren hijchstcns zwei y E M mit X R y ;
(4) F ordnet jedem x E M mit x $e ein F ( x ) E M mit x R P ( x ) zu.
Die Elemente von M nennen wir auch die Elemenfe oder Punkte von T'. Sind
x , y E M mit X R y, so ncnncn wir y einen R-Nachfolger von x und x eincn R-Vor-