Folien

Weitere Magazine

Empfehlungen

Info

Automaten und Berechenbarkeit 2 Definition 1.1.2 Unter der erweiterten Überführungsfunktion δ ∗ eines deterministischen endlichen Automaten A = (X,Y,Z,z0,δ,λ) mit Ausgabe versteht man die Funktion δ ∗ : Z×X ∗ → Z mit • ∀z(z ∈ Z → δ ∗ (z,ε) = z) • ∀z∀x∀w((z ∈ Z∧x ∈ X∧w ∈ X ∗ ) → δ ∗ (z,wx) = δ(δ ∗ (z,w),x)) Definition 1.1.3 Unter der erweiterten Ausgabefunktion λ ∗ eines deterministischen endlichen Automaten A mit Ausgabe versteht man die Funktion λ ∗ : Z×X ∗ → Y ∗ mit • ∀z(z ∈ Z → λ ∗ (z,ε) = ε) • ∀z∀x∀Simulatorw((z ∈ Z∧x ∈ X∧w ∈ X ∗ ) → λ ∗ (z,wx) = λ ∗ (z,w)·λ(δ ∗ (z,w),x))
Automaten und Berechenbarkeit 3 1.2 Endliche Automaten Definition 1.2.1 A = (X,Z,z0,δ,Zf) heißt nichtdeterministischer endlicher Automat (NEA) genau dann, wenn gilt: • X und Z nichtleere endliche Mengen • z0 ∈ Z (Startzustand) • Zf ⊆ Z (Finalzustandsmenge) • δ ⊆ Z×X×Z (Überführungsrelation) Simulator A heißt deterministischer endlicher Automat (DEA) genau dann, wenn gilt: ∀z∀x∃!z ′ (((z,x) ∈ Z×X∧z ′ ∈ Z) → (z,x,z ′ ) ∈ δ)) A heißt vollständiger endlicher Automat genau dann, wenn ∀z∀x∃z ′ (((z,x) ∈ Z×X∧z ′ ∈ Z) → (z,x,z ′ ) ∈ δ)
Seite 1: Automaten und Berechenbarkeit 1 1 E
Seite 5 und 6: Automaten und Berechenbarkeit 5 Def
Seite 7 und 8: Automaten und Berechenbarkeit 7 Kor
Seite 9 und 10: Automaten und Berechenbarkeit 9 Ind
Seite 11 und 12: Automaten und Berechenbarkeit 11 De
Seite 13 und 14: Automaten und Berechenbarkeit 13 Hi
Seite 17 und 18: Automaten und Berechenbarkeit 17 Le
Seite 21 und 22: Automaten und Berechenbarkeit 21 Sa
Seite 27 und 28: Automaten und Berechenbarkeit 27 Ko
Seite 29 und 30: Automaten und Berechenbarkeit 29 (z
Seite 31 und 32: Automaten und Berechenbarkeit 31 Be
Seite 33 und 34: Automaten und Berechenbarkeit 33 Le
Seite 37 und 38: Automaten und Berechenbarkeit 37 Sa
Seite 39: Automaten und Berechenbarkeit 39 Sa

Folien

Erfolgreiche ePaper selbst erstellen

Template löschen?

Als Template speichern?