Die Funktionsausgabe eines Eingabe- oder Operatorknotens behandelt den Eingabeknoten – oder den Operatorknoten und den Graphen links daneben – als Funktion. Nicht verknüpfte Eingabeknoten in diesem Graphen werden zu den Argumenten der Funktion.
Die nicht verknüpfte Eingabe x (beliebige) wird zu einem Funktionsargument.
Die Reihenfolge der Funktionsargumente wird durch die Reihenfolge bestimmt, in der die nicht verknüpften Verbindungen bei der Tiefensuche des Graphen durchlaufen werden. Bei der Tiefensuche werden zuerst alle untergeordneten Knoten rekursiv von oben nach unten verarbeitet, bevor der Knoten selbst verarbeitet wird.
Funktionstypen und Stelligkeit
Der Typ einer Funktion wird von der Anzahl und der Art der Argumente sowie dem Rückgabetyp einer Funktion bestimmt. Die Anzahl der Argumente einer Funktion wird als Stelligkeit bezeichnet. Funktionen mit bis zu drei Stellen haben spezielle Namen:
- Nulläre Verknüpfung: nullstellig
- Unäre Funktion: einstellig
- Binäre Funktion: zweistellig
- Ternäre Funktion: dreistellig
Eine Funktion mit einem booleschen Rückgabetyp und mindestens Nullstelligkeit wird auch als Prädikat bezeichnet.