Folien

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))