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!
-
Sci
- Artikelen: 0
- Berichten: 2
- Lid geworden op: do 16 jun 2011, 21:36
-
317070
- Artikelen: 0
- Berichten: 5.609
- Lid geworden op: za 28 feb 2009, 17:05
Re: Turingmachines en niet recursieve talen
Wat is die L(M)?
What it all comes down to, is that I haven't got it all figured out just yet
And I've got one hand in my pocket and the other one is giving the peace sign
-Alanis Morisette-
And I've got one hand in my pocket and the other one is giving the peace sign
-Alanis Morisette-
-
Sci
- Artikelen: 0
- Berichten: 2
- Lid geworden op: do 16 jun 2011, 21:36
Re: Turingmachines en niet recursieve talen
L(M) is de taal die door M beschreven wordt.
