Vorlesung Modellierung WS 2001/2002 - Folie Nr. 606

Nächste Folie

Vorherige Seite Zur Übersicht Nächste Seite | Folien 518-611 als PDF

Ziele:
Sprache eines endlichen Automaten verstehen

in der Vorlesung:
Erläuterungen

  • zur Übergangsfunktion für Wörter,
  • zur Sprache des Automaten,
  • zu Beispielen
In der Praxis werden Automaten meist nicht vollständig (siehe Mod-6.4) angegeben. Sie arbeiten dann nach der Regel des längsten Musters, d. h.:
  • Der Automat macht Übergänge, solange sie füdie Eingabe definiert sind.
  • Der zuletzt durchlaufene Endzustand bestimmt das akzeptierte Wort.
  • nachlesen:
    G. Goos: Vorl. über Informatik Bd.1, Abschnitt 2.4