Ψ Die Informatikseite
Menü
Bachelorstudium
- Lineare Algebra
- Algorithmen
- Theoretische Informatik
Masterstudium
- Neuronale Netze
- Computeranimation
Bonusmaterial
- Textsatz mit Latex
- Tipps und Tricks zu PDF-Dateien
- Einplatinenrechner
Studentenratgeber
Studienorte
Bücher
Impressum
Menü
Bachelorstudium
Lineare Algebra
Algorithmen
Theoretische Informatik
Masterstudium
Neuronale Netze
Computeranimation
Bonusmaterial
Textsatz mit Latex
Tipps und Tricks zu PDF-Dateien
Einplatinenrechner
Studentenratgeber
Studienorte
Bücher
Impressum
Informatik
»
Bachelor
»
Theoretische Informatik
»
Reguläre Sprachen
Wortproblem für Typ 0 und Typ 1 Sprachen
Theoretische Informatik
Endliche Automaten
Reguläre Sprachen
Unterabschnitte
Endliche Automaten
Definition: Deterministischer endlicher Automat (DFA)
Fangzustand
Lauf
Definition: Nichtdeterministischer endlicher Automat (NFA)
Endliche Automaten und reguläre Grammatiken
Übersicht
DFA
reguläre Grammatik
NFA
DFA (Potenzmengenkonstruktion)
Effizienz von NFAs
Reguläre Grammatik
NFA
Verknüpfungen regulärer Sprachen
NFAs mit
-Übergängen
Vereinigung -
Durchschnitt -
Komplement -
Konkatenation -
Kleenabschluß -
Algorithmen zur Feststellung von Eigenschaften
Das Wortproblem
Leerheitstest
Äquivalenztest
Endlichkeitstest
Pumping Lemma für reguläre Sprachen
Definition
Kernaussage
Beweis
Beispiele
Reguläre Ausdrücke
Syntax regulärer Ausdrücke
Regulärer Ausdruck
NFA
DFA
regulärer Ausdruck
Syntaxdiagramme
Regulärer Ausdruck
Syntaxdiagramm
Syntaxdiagramm
DFA
Zusammenfassung
Minimierung von endlichen Automaten
Satz von Myhill & Nerode
Definition: Minimalautomat
Minimierungsalgorithmus
Wortproblem für Typ 0 und Typ 1 Sprachen
Theoretische Informatik
Endliche Automaten