In dem umgewandelten Mealy Automaten steht über dem S1 zB. ein c,c
Hätte man hier auch einfach nur ein c hinschreiben können ? Dh. meine Frage ist, ob ich das Ausgabesymbol des Zielzustandes nicht mit auf die Transition schreiben muss, falls es das gleiche Symbol ist, wie das, dass bereits auf der Transition steht?