Buonasera, come anticipato dall'oggetto della email, ho un dubbio su come rappresentare graficamente una macchina a stati finiti. 

Facendo riferimento agli esercizi proposti oggi a lezione, i nodi rappresentano i possibili stati in cui il sistema può trovarsi, tuttavia nel libro ( a pagina b-70, quinta edizione inglese) all'interno di questi sono scritti gli output della macchina.  Sarebbe possibile spiegare il motivo di questa scelta oppure se si è trattato di un errore.

Ringrazio anticipatamente per la risposta.