L'automa a stati finiti è rappresentato dai seguenti ingressi, stati e uscite:

X={A,B}
dove A è l'ingresso che indica che il giocatore A ha segnato un punto
  "     B        "             "   "           "       "           B  "       "            "

U={N, WB, WA}
dove N indica che nessun giocatore ha ancora vinto
   "    WB indica la vittoria del giocatore B
   "    WA   "             "                "          A

S={(0,0),(1,0),(2,0),(3,0),(4,0),(0,1),(1,1),(2,1)..............}

Il diagramma degli stati che rappresenta l'automa è: