Informatik Grundlagen – Endliche Automaten und Zustandsmaschinen
Endliche Automaten sind das Fundament für Compilerbau, Textverarbeitung und Protokollanalyse. Nach dem Lernen dieser Karten kennst du die formale Definition von DFA und NFA, kannst Automaten in reguläre Ausdrücke übersetzen und die Pumping-Lemma-Anwendung bei Nicht-Regularität erkennen.
Lernziele
Was du in dieser Lektion lernst
- Was ist ein deterministischer endlicher Automat (DFA)?
- Was unterscheidet einen NFA von einem DFA?
- Wozu dienen ε-Übergänge in einem NFA?
- Wie funktioniert die Potenzmengenkonstruktion (NFA → DFA)?
Lerntipp
Zeichne Zustandsdiagramme immer von Hand nach: Starte mit dem Startzustand, füge Übergänge schrittweise hinzu und markiere Endzustände doppelt – so erkennst du fehlende Übergänge und Nichtdeterminismus sofort.
Hinweis: Der Inhalt dieser Seite wurde mit einem KI-Modell erzeugt und nicht von Fachmenschen geprüft. Nutze die Karten als Lernhilfe und gleiche medizinische oder rechtliche Aussagen mit deinen Unterlagen ab.
Karteikarten
Alle 15 Lernkarten
Tippe auf eine Karte, um die Antwort aufzudecken
Häufige Fragen
Die wichtigsten Fragen zu Informatik Grundlagen – Endliche Automaten und Zustandsmaschinen
- Was ist ein deterministischer endlicher Automat (DFA)?
- Ein DFA ist ein 5-Tupel (Z, Σ, δ, z₀, F) mit eindeutiger Übergangsfunktion δ: Z × Σ → Z für jedes Symbol.
- Was unterscheidet einen NFA von einem DFA?
- Beim NFA erlaubt die Übergangsfunktion δ: Z × Σ → 𝒫(Z) mehrere oder keine Folgezustände pro Symbol; ε-Übergänge sind möglich.
- Wozu dienen ε-Übergänge in einem NFA?
- ε-Übergänge ermöglichen Zustandswechsel ohne Eingabesymbol-Verbrauch; sie vereinfachen die Konstruktion aus regulären Ausdrücken (Thompson).
- Wie funktioniert die Potenzmengenkonstruktion (NFA → DFA)?
- Jeder DFA-Zustand entspricht einer Menge von NFA-Zuständen; Startzustand ist ε-Hülle von {z₀}; Übergänge bilden ε-Hüllen der vereinigten NFA-Nachfolger.
- Was besagt das Pumping-Lemma für reguläre Sprachen?
- Für reguläre L gibt es n≥1: Jedes w∈L mit |w|≥n lässt sich als w=xyz mit |xy|≤n, |y|≥1 und xyⁱz∈L (∀i≥0) zerlegen.
Warum Atrio?
- FSRS-5 Spaced Repetition
- Der Algorithmus plant jede Wiederholung anhand deiner eigenen Lernhistorie und stellt Karten kurz bevor du sie vergisst – das reduziert unnötige Wiederholungen.
- KI-Import
- Notizen, Skripte und PDFs in Sekunden in Lernkarten verwandeln – genau wie diese Seite automatisch entsteht.
- Prüfungsplanung
- Termine hinterlegen und Atrio berechnet rückwärts, wie viele Karten du pro Tag lernen musst – ohne Stress.
Interaktiv lernen
Diese 15 Karten jetzt interaktiv in der Atrio-App lernen
Atrio zeigt dir jede Karte dann, wenn du sie fast vergessen hättest – damit bleibt genau das hängen, was du lernst.
Starter-Plan kostenlos – keine Kreditkarte erforderlich.