Représenter les programmes avec des graphages

Représentation sous forme de graphe de deux programmes utilisant la notion de graphage. Ici, chaque arête correspond à une fonction sur un espace muni d’une mesure, par exemple un segment de la droite réelle. Le graphage du bas représente un programme, tandis que le graphage du haut représente une entrée (ici le mot 010011). La taille de cette entrée induit le découpage de chaque arête du graphage représentant le programme, en plusieurs arêtes parallèles agissant chacune sur une partie distincte de l’espace, ce qui explique la visualisation de "nappes" d’arêtes. L’exécution du programme sur cette entrée donnée correspond alors à une orbite précise du système dynamique obtenue en composant les deux objets : cette orbite visualisée en rouge correspond à un chemin maximal dans la représentation sous forme de graphe.