Abbildung 3.7 und die folgende Tabelle zeigen als Beispiel einen Automaten mit
Der Automat kann elf Zustandswechsel ausführen, aber es sind nur fünf unterschiedliche Ereignisse definiert. Charakteristisch für den hier betrachteten deterministischen Automaten ist die Tatsache, dass die Funktion δ jedem Paar (z, σ), für das sie definiert ist, genau einen Nachfolgezustand zuordnet. Es handelt sich bei einem Σ–Automaten deshalb auch um einen deterministischen Automaten, obwohl jetzt im Automatengraphen von den Zuständen mehr als eine Kante ausgehen kann.
Bei Σ–Automaten können mehrere Ereignisse denselben Zustandswechsel auslösen, beispielsweise ...
Get Ereignisdiskrete Systeme, 3rd Edition now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
