Ich möchte Ihre Hilfe beim Nachweis, dass die Sprache ist entscheidbar, wenn .
Wenn , ich, dass es die Sprache leerer Turing-Maschinen ist. So ist ein Problem - aber das ist nicht das, was gefragt wird ist, so habe ich verwirrt.
Ich weiß, dass ich, um anzuzeigen, ein Problem muss, bei dem es sich ebenfalls um und .
Irgendeine Hilfe? Vielen Dank!