sciencetalk

Hallo,

Voor een vraagstuk dien ik de volgende stelling te weerleggen:

Als M een non deterministische TM is die voor iedere input ten minste 1 eindigende berekening heeft dan is L(M) recursief.

Ik heb alleen geen flauw idee welke kant ik op moet zoeken. Iemand die mij de goede richting op wijst?

Alvast bedankt!

Wat is die L(M)?

L(M) is de taal die door M beschreven wordt.