Please enable JavaScript.
Coggle requires JavaScript to display documents.
Automaten - Coggle Diagram
Automaten
Transformationen
NEA in DEA (Potenzmengenkonstruktion)
DEA in reg. Grammatik
DEA in reg. Ausdruck
Kellerautomat in kontextfreie Grammatik
Compiler
Scanner
Parser
Lexer
Grammatiken
reguläre Grammatik
rechtsregulär
linksregulär
G = ( N, T, S, P) (4-Tupel)
N := Nicht-terminalsymbole
T := Terminalsymbole
S := Startsymbol
P := Menge der Produktionen
kontextfreie Grammatik
Sprachen
Chomsky-Hierarchie
Typ-2: Kontextfreie Sprachen
Typ1: Kontextsensitive Sprachen
Typ-0: Beliebige Sprachen
Typ-3: Reguläre Sprachen
Darstellungsformen
Mengendarstellung
L = {w|w ist ein Palindrom}
(erweiterter) regulärer Ausdruck
L=
a*(c|d)b*
deterministischer endlicher Automat (DEA)
G = (Q, s, Σ, F, δ) (5-Tupel)
Q := Zustandsmenge
s := Startzustand
𝚺 := Eingabealphabet
F := Menge der Endzustände
𝛅: QxF→Q := Übergangsfunktion
nichtdeterministischer Kellerautomat
K = (Q, Σ, K, δ, s, #, F) (7-Tupel)
nichtdeterministischer endlicher Automat (NEA)
G = (Q, s, Σ, F, δ) (5-Tupel)
s := Startzustand
𝚺 := Eingabealphabet
F := Menge der Endzustände
𝛅: QxF→Q^n := Übergangsrelation
Q := Zustandsmenge
epsilon-Übergänge