Formale_sprachen
- Negation der Pumpingeigenschaft
- Folgerungsbeziehungsproblem der Prädikatenlogik
- Erfüllbarkeitsproblem der Prädikatenlogik
- Formale Sprachen
- Beispiel KFG aus if-else Kellerautomat
- Universale Sprache
- Erkannte Sprache einer TM
- Komplement einer Sprache
- Leere Sprache
- Anwendung Pumpinglemma für Kontextfreie Sprachen
- Pumpinglemma für Kontextfreie Sprachen
- Satz Größe eines Syntaxbaum
- Pumpingeigenschaft für Kontextfreie Sprachen
- Pumpinglemma für reguläre Sprachen
- Satz Jede reguläre Sprache wird von DKA erkannt
- Durch leeren Keller erkannte Sprache eines NDKA
- Durch Endzustand erkannte Sprache eines NDKA
- Satz Umwandlung NDKA in äquivalenter KFG
- Sprache IfElse
- Satz Umwandlung KFG in äquivalenter NDKA
- Ableitung in Satzform
- Kontextfreie Sprache
- Satz NDKA erkennt w-w-reversed
- Erkannte Sprache eines NDKA
- Sprache Palindrom
- Kontextfreie Grammatik
- Ableitung mit Produktionsregeln
- Mehrdeutige Kontextfreie Grammatik
- Eindeutige Kontextfreie Grammatik
- Satz Syntaxbaum, erweiterte Ableitung und rekursive Inferenz sind äquivalent
- erweiterte Ableitung
- Syntaxbaum
- Ertrag eines Syntaxbaums
- Rekursive Inferenz
- Satz Jede reguläre Sprache ist auch kontextfrei
- WortKFG-Algorithmus
- Produzierte Sprache einer kontextfreien Grammatik
- Produkt einer kontextfreien Grammatik
- Satz NEA zu regulärer Ausdruck
- Urbilder regulärer Sprachen
- Regulärer Ausdruck
- Satz Kleene Hülle eines NEAs
- Satz Konkatenation zweier NEAs
- Satz Vereinigung zweier NEAs
- Abschlusseigenschaften der regulären Sprachen
- Satz Regulärer Ausdruck zu NEA
- Satz reverse ist nicht sequentiell
- Funktion reverse
- Abstand
- Satz raise ist nicht sequentiell
- Pumpingeigenschaft
- Sprache
- Reguläre Sprache
- Reguläre Sprache mit Potenzierung
- Problem der Äquivalenz zweier Regulärer Ausdrücke
- Satz 0^k1^k ist L
- Sprache 0^k1^k
- Wort
- Vereinigung von regulären Sprachen
- Präfix
- Buchstaben
- Äquivalenz DEA, NEA und Reg
- Alphabet
- Reguläre Urbildmengen