Springen naar inhoud

Turingmachines en niet recursieve talen


  • Log in om te kunnen reageren

#1

Sci

    Sci


  • 0 - 25 berichten
  • 2 berichten
  • Gebruiker

Geplaatst op 16 juni 2011 - 21:15

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!

Dit forum kan gratis blijven vanwege banners als deze. Door te registeren zal de onderstaande banner overigens verdwijnen.

#2

317070

    317070


  • >5k berichten
  • 5567 berichten
  • Moderator

Geplaatst op 16 juni 2011 - 23:39

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-

#3

Sci

    Sci


  • 0 - 25 berichten
  • 2 berichten
  • Gebruiker

Geplaatst op 17 juni 2011 - 06:50

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





0 gebruiker(s) lezen dit onderwerp

0 leden, 0 bezoekers, 0 anonieme gebruikers

Ook adverteren op onze website? Lees hier meer!

Gesponsorde vacatures

Vacatures