Wir betrachten hier Automaten mit Ausgabe, bei denen zwischen Moore- und Mealy-Automaten unterschieden wird. Bei Mealy-Automaten (der Automat aus der Vorlesung) werden Ausgaben bei einem Zustandsübergang gemacht und werden dementsprechend an dem Zustandsübergangspfeil gekennzeichnet. Moore-Automaten hingegen machen eine Ausgabe beim Besuch eines Zustandes. Deswegen haben die Zustände hier z.B. die Form (b,0). "b" ist der Name des Zustands und "0" die Ausgabe beim Besuch dieses Zustandes.
An den Übergangspfeilen stehen in der Musterlösung zwei Nullen, was verständlicherweise verwirrend sein kann. Gemeint sind dabei aber die beiden Stellen der Binärzahlen die Addiert werden sollen. Man addiert ja nicht die ganze Binärzahl auf einmal, sondern geht schrittweise Stelle für Stelle vor. Die Ausgabe beim Zielzustand ist dann das Ergebnis dieser Addition, wobei man noch den Übertrag beachten muss. Deswegen braucht man zwei Zustände die eine 0 ausgeben (einmal mit Übertrag und einmal ohne) und zwei Zustände die eine 1 ausgeben, sowie einen Startzustand.