Skriptes - Uni Bremen - Universität Bremen

Endliche Automaten
Beachte:
Die Übergangsfunktion eines DEAs ist eine totale Funktion, es muß also für jede mögliche
Kombination von Zustand und Symbol ein Folgesymbol angegeben werden.
Beispiel 1.7
Folgendes ist kein DEA:
denn es fehlt ein Übergang für q 1 und b.
Man erhält aber leicht einen DEA durch Hinzunahme eines „Papierkorbzustandes“, der
alle fehlenden Übergänge aufnimmt und kein Endzustand ist:
Die im obigen Beispiel erkannte Sprache ist übrigens
L = {b} ∗ ·{a} ∗ = {w ∈ {a,b} ∗ | ab ist nicht Infix von w}.
Randbemerkung.
Im Prinzip sind “echte Computer” ebenfalls endliche Automaten: Sie haben nur endlich
viel Speicherplatz und daher nur eine endliche Menge möglicher Konfigurationen
(Prozessorzustand + Belegung der Speicherzellen + Festplatteninhalt). Die Konfigurationsübergänge
werden bestimmt durch Verdrahtung und Eingaben (Tastatur, Peripheriegeräte).
17