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.

Fichier dot

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.

Fichier dot

Et une fois que c'est fait, on montre que l'état Égalité est équivalent à 30/30.

Fichier dot