Macchine di Turing e la macchina schemi

Question

Arthur Dent, utilizzando la tecnologia dell'era spaziale non sono ancora disponibili sulla Terra ha sviluppato un algoritmo che determina se un soste TM M1 o non quando hanno cominciato su un nastro vuoto. Ma poi, ha scoperto che il senso alla vita, l'universo, e tutto è 42.

(a) [5] Data una TM M2, dimostrano che Arthur possibile determinare se soste M2 o meno sull'ingresso 42 utilizzando il programma ha già sviluppato che determina se un ferma TM M1 o non quando avviato su un nastro vuoto. Se si crea un nuovo TM nella vostra prova, dare il suo schema della macchina.

(b) [5] Supponiamo che ci sia un programma che è più veloce di Arthur, ma risponde alla domanda se una ferma TM m2 su ingresso 42. Spiegare come Arthur può utilizzare questo algoritmo per determinare se alcuni soste TM M1 all'avvio su un nastro vuoto. Se si crea un nuovo TM nella vostra prova, dare il suo schema della macchina.

(c) [5] Abbiamo dimostrato in classe che il problema di determinare se una TM M si ferma quando viene avviato su un nastro vuoto non è decidibile. Fa parte (a) o parte (b) che possono essere usati per dimostrare che è anche indecidibile per determinare se una TM M si ferma sull'ingresso 42?

Qualcuno può aiutarmi a decifrare ciò che il mio prof sta parlando qui?

Answer 1

Benvenuti in alcuni davvero complicato teoria informatica. Prova a partire da qui: http://en.wikipedia.org/wiki/Halting_problem

Google Macchina di Turing così se non hai familiarità con questo.