From f4b2e920610aeca846c7805f8e090e2b36536bcd Mon Sep 17 00:00:00 2001 From: David Schirrmeister Date: Sun, 15 Jun 2025 17:49:49 +0200 Subject: [PATCH] update --- .../04/Theoretische Informatik/05_GrundlagenGrammatiken.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Writerside/topics/04/Theoretische Informatik/05_GrundlagenGrammatiken.md b/Writerside/topics/04/Theoretische Informatik/05_GrundlagenGrammatiken.md index 7f486c9..5baa2b6 100644 --- a/Writerside/topics/04/Theoretische Informatik/05_GrundlagenGrammatiken.md +++ b/Writerside/topics/04/Theoretische Informatik/05_GrundlagenGrammatiken.md @@ -18,7 +18,7 @@ - rekursiv - leeres Wort -#### Funktion einer formalen Grammatik +## Funktion einer formalen Grammatik - Bilden von Wörtern durch Ableitungen - starte mit dem Startsymbol $S$ - solange noch Variablen vorkommen oder man Lust hat: @@ -36,8 +36,8 @@ | Typ | Erlaubte Regeln | Was kann man damit beschreiben? | Beispielregel | Beispielsprache | |---------------------------|----------------------------------------------------------------|-------------------------------------------------|-------------------------------------------|------------------------------| -| **Regulär (RG)** | A → aB
A → a | Nur ganz einfache Muster, **kein Zählen** | A → aB
B → b | aⁿb (z.B. ab, aab, aaab) | -| **Kontextfrei (CFG)** | A → γ (γ ist beliebige Folge aus Terminals und Nichtterminals) | **Einfache Klammerungen und Zählen** | S → aSb
S → ε | aⁿbⁿ (z.B. ab, aabb, aaabbb) | +| **Regulär (RG)** | A → aB
A → a | Nur ganz einfache Muster, **kein Zählen** | A → aB
B → b | aⁿb (z.B. ab, aab, aaab) | +| **Kontextfrei (CFG)** | A → γ (γ ist beliebige Folge aus Terminals und Nichtterminals) | **Einfache Klammerungen und Zählen** | S → aSb
S → ε | aⁿbⁿ (z.B. ab, aabb, aaabbb) | | **Kontextsensitiv (CSG)** | αXβ → αwβ (w darf nicht kürzer sein als X) | **Mehr Kontextabhängigkeit, z.B. 3-mal Zählen** | aXb → abb (wenn X zwischen a und b steht) | aⁿbⁿcⁿ (z.B. abc, aabbcc) | ### Erklärungen: