Informatik Grundlagen – Formale Sprachen und Grammatiken
Formale Sprachen und Grammatiken sind das theoretische Fundament für Compilerbau, Programmiersprachen und formale Verifikation. Nach dem Lernen dieser Karten beherrschst du die Chomsky-Hierarchie, kannst Grammatiken klassifizieren und weißt, welche Automatenmodelle zu welcher Sprachklasse gehören.
Lernziele
Was du in dieser Lektion lernst
- Was definiert eine formale Sprache?
- Was ist ein Alphabet in der theoretischen Informatik?
- Wie wird das leere Wort notiert und was ist seine Länge?
- Was beschreibt die Kleene-Stern-Operation Σ*?
Lerntipp
Zeichne die Chomsky-Hierarchie als Venn-Diagramm und ordne jeder Klasse ein konkretes Beispiel (z. B. a^n b^n für Typ 1) zu – so visualisierst du die echten Inklusionsbeziehungen.
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 16 Lernkarten
Tippe auf eine Karte, um die Antwort aufzudecken
Häufige Fragen
Die wichtigsten Fragen zu Informatik Grundlagen – Formale Sprachen und Grammatiken
- Was definiert eine formale Sprache?
- Eine formale Sprache ist eine Menge von Wörtern über einem endlichen Alphabet Σ. Jedes Wort ist eine endliche Symbolfolge aus Σ.
- Was ist ein Alphabet in der theoretischen Informatik?
- Ein Alphabet Σ ist eine endliche, nicht-leere Menge von Symbolen (z. B. {0,1} oder {a,b,c}). Symbole sind atomare, nicht weiter zerlegbare Einheiten.
- Wie wird das leere Wort notiert und was ist seine Länge?
- Das leere Wort wird mit ε (oder λ) bezeichnet und hat die Länge 0. Es ist Element von Σ* für jedes Alphabet Σ.
- Was beschreibt die Kleene-Stern-Operation Σ*?
- Σ* ist die Menge aller endlichen Wörter über Σ, einschließlich ε. Es ist die Hülle von Σ unter Konkatenation und bildet einen Monoid.
- Was ist eine formale Grammatik G = (N, Σ, P, S)?
- Eine Grammatik besteht aus Nichtterminalmenge N, Terminalalphabet Σ, Produktionsmenge P und Startsymbol S ∈ N. Sie erzeugt eine formale Sprache.
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 16 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.