Folien
Folien
Folien
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Automaten und Berechenbarkeit 4<br />
Schreibweise:<br />
A : z x<br />
−→ z ′ :⇐⇒ (z,x,z ′ ) ∈ δ<br />
A : z wx<br />
−→ z ′ :⇐⇒ ∃z ′′ (z ′′ ∈ Z∧A : w<br />
−→ z ′′ ∧(z ′′ ,x,z ′ ) ∈ δ<br />
A : z ε<br />
−→ z:<br />
Jeder Zustand ist von sich aus durch den leeren Pfad erreichbar.<br />
Definition 1.2.2 LA = {w : w ∈ X∗ ∧∃z(z ∈ Zf ∧z0<br />
vom NEA A = (X,Z,z0,δ,Zf) akzeptierte Sprache.<br />
w<br />
−→ zf)} ist die