La sortie de fonction d'une entrée ou d'un noeud de l'opérateur traite le noeud d'entrée, ou le noeud d'opérateur et tout le graphique de gauche, comme une fonction. Les noeuds d'entrée non connectés de ce graphique deviennent les arguments de la fonction.
L'entrée non connecté, x (tout), devient un argument de fonction.
L'ordre des arguments de la fonction est déterminé par l'ordre dans lequel les connecteurs non connectés apparaissent lorsque le graphique est traversé en profondeur. Lors d'une traversée en profondeur, les noeuds enfant sont visités de manière récursive dans l'ordre descendant avant que le noeud lui-même soit visité.
Types de fonction et "arité"
Le type de fonction est déterminé par le nombre et le type d'arguments, ainsi que le type de retour de la fonction. Le nombre d'arguments d'une fonction est appelé la fonction arité. Les fonctions avec arité de 3 ou moins, ont des noms spécifiques :
- Fonction Nullaire : arité 0
- Fonction Unaire : arité 1
- Fonction Binaire : arité 2
- Fonction Ternaire : arité 3
Une fonction avec un type de retour booléen et une arité de zéro ou plus est également appelée prédicat.