DEA am Beispiel eines Cola-Automaten (Teil 2)

Im Folgenden wird das Beispiel mit dem Cola-Automaten weitergeführt.

Schreibe die Elemente des Quintupels für dieses Transitionssystem nach der Bildungsvorschrift auf! Wenn du ein Element richtig eingegeben hast, wird dieses Element im Graphen grün dargestellt. Mehrere Elemente kannst du durch ein Komma getrennt angeben.