Hallo ugnqi,
ein Automat ist vollständig angegeben, wenn alle Teile des Tupels definiert sind. Da sollte auch das Zustandsübergangsdiagramm reichen, da die Zustandsübergangstabelle ja die gleiche Information lediglich in Tabellenform wiedergibt.
Viele Grüße
Alex (Tutor)