Ich habe nochmal in den Vorlesungsfolien nachgeschaut. Auf Folie "GdInfoII 2-13" steht "Die Ausgabe hängt hier nur vom aktuellen Zustand ab. Bei der Initialisierung im Anfangszustand findet keine Ausgabe statt." Somit denke ich, dass nich ganz am Anfang ein a ausgegeben wird.
Gruß Alexander (Tutor)