Der Internet-Anbieter Trust-Me arbeitet mit Passwörtern für seine Benutzer, die einen bestimmten Aufbau haben müssen. Damit die Passwörter dem Sicherheitsstandard des Anbieters genügen, sollen sie folgenden Bedingungen entsprechen:

  1. Geben Sie für den Zustandsübergangsgraphen jeweils zwei Beispiele für Passwörter an, die akzeptiert bzw. abgelehnt werden.

  1. Geben Sie die formale Definition des Automaten als 5-Tupel an.

  1. Analysieren sie den Zustandsübergangsgraphen, indem Sie erläutern, wie ein gültiges Passwort aufgebaut sein muss.