Pour ceux qui ont du mal à comprendre le score d'un jeu de tennis, voici l'automate complet représentant l'évolution du score d'un jeu entre deux joueurs A (le serveur) et B en fonction de qui marque le point.
Ensuite on peut jouer sur l'automate à prouver que l'état avantage A est équivalent à 40/30, de façon symétrique avantage B est équivalent à 30/40.
Et une fois que c'est fait, on montre que l'état Égalité est équivalent à 30/30.
C'est fait avec quoi? ça ressemble à Graphviz...
C'est fait avec la commande
dot
de graphviz. Tu peux prendre les fichiers sources en cliquant sur les images.