Turing Maschinen I Flashcards
Σ*
Kleenesche Abschluss von Σ, enthält alle Wörter über Σ
Problem als Relation R ⊆ Σ* x Σ’*
Ein Paar (x,y) liegt in R, wenn y eine Ausgabe zur Eingabe x ist
Problem als Funktion f : Σ* -> Σ’*
Suche Ausgabe f(x) ϵ Σ’* zur Eingabe x ϵ Σ*
Entscheidungsproblem-Form
f : Σ* -> {0,1}
L=f^-1 (1) ⊆ Σ*
Die zu dem f definierten Entscheidungsproblem gehörende Sprache
Turingmaschine Definition
7-Tupel (Q, Σ, Γ, B, q0, q-, δ)
Q
endliche Zustandsmenge
Σ
endliche Eingabealphabet
Γ ⊃ Σ
endliche Bandalphabet
B ϵ Γ\Σ
Blank
q0
Anfangszustand
q-
Endzustand
δ : ( Q{q-} ) x Γ -> Q x Γ x {R,L,N}
Zustandsüberführungsfunktion
Ende der Berechnung der TM
TM stoppt, wenn sie den Endzustand erreicht. Ausgabewort vom Band beginnend mit Kopfposition lesen.
M entscheidet L, wenn…
M auf jeder Eingabe hält und M genau die Wörter aus L akzeptiert.