Es ist das im Folgenden beschriebene Sollverhalten eines Getränkeautomaten als Mealy-Automat zu modellieren. Es ist gegeben:

Die Menge der Zustände

Die Menge der Eingangssymbole

Die Menge der Ausgangssymbole

Zu Beginn befindet sich der Getränkeautomat im Bereitschaftszustand. Nur in diesem ist eine Produktauswahl möglich. Nach Auswahl eines der Getränke Cola oder Wasser ist auf Einwurf einer Münze zu warten. Es muss stets nur eine einzige Münze eingeworfen werden, der Fall eines unerwarteten oder falschen Münzeinwurfs wird nicht betrachtet.Wird statt eines Münzeinwurfs die ,,ABBRECHEN"-Taste betätigt, wird der Vorgang abgebrochen.

Nach erfolgtem Münzeinwurf ist das entsprechende Getränk auszugeben und nach der Produktentnahme in den Ausgangszustand zurückzukehren.

Orangensaft ist ausverkauft - bei Auswahl ist ein entsprechender Hinweis anzuzeigen. Mit dem Druck auf ,,ABBRECHEN" ist dann zum Ausgangszustand zurückzukehren.

Vervollständigen Sie den Automatengraphen von . Beschriften Sie die Zustandsübergänge mit den zugehörigen Ein- und Ausgangssymbolen und markieren Sie den Anfangszustand. Eine Angabe der Endzustände ist nicht erforderlich.

Automatengraphen von