das Leerheitsproblem auf H0 reduzieren

Question

Frage:

E <= H0 :

kann man das Leerheitsproblem auf H0 reduzieren ?

und wie geht das überhaupt? wenn x auf leeren band nicht hält, muss f(x) auf iregendeine Eingabe halten !!

Code:

Comments

kann man das Leerheitsproblem auf H0 reduzieren ?

Was ist H0?

wenn x auf leeren band nicht hält, ...

... dann ist x eine Turingmaschine, oder?

... muss f(x) auf iregendeine Eingabe halten !!

Ist f(x) auch eine Turingmaschine? Falls ja, welche? Was ist f?