Ausdrucksfähigkeit der Alg.-Modelle

Konkrete nichtberechenbare Funktionen 2
Sei x ∈ A * : ein beliebiger Text.
ϕ x : die vom Algorithmus mit Text x berechnete Funktion.
x kein sinnvoller Algorithmentext → ϕ x überall undefiniert.
Sei f : A * → A * eine partielle Funktion. Dann ist
dom f := {x ∈ A * | f(x) ist definiert }
der Urbildbereich von f (dom für „domain“).
Die (totale) Funktion h : A * → A * ,
⎧ε, falls x ∈ dom
h(
x)
= ⎨
⎩a
sonst
ist nicht berechenbar.
ϕ
x
252