Domande taggate «turing-machines»

Domande sulle macchine di Turing, un modello teorico di calcolo meccanico in grado di simulare qualsiasi programma per computer.

1
Gödelization in Turing Machine
Stavo guardando il corso di Gödelization nel corso di Teoria del calcolo. Potrei capire i concetti di numerazione di Gödel, ma non potrei capirne l'importanza nella Teoria del calcolo. Qualcuno potrebbe indicare alcuni buoni materiali o sottolineare la sua importanza.
4
Come funziona una macchina di Turing non deterministica?
Quali sono le differenze tra le macchine di Turing deterministiche e non deterministiche? Modelli diversi ma equivalenti di NDTM. In particolare, qual è questa frase frequentemente usata "indeterminatamente indovinare"? Come usarlo nel modo giusto ed esempi di utilizzo errato. Il mio obiettivo è creare una domanda di riferimento.
6
Problemi indecidibili limitano le teorie fisiche
L'esistenza di problemi indecidibili implica immediatamente la non prevedibilità dei sistemi fisici? Consideriamo il problema dell'arresto, prima costruiamo un UTM fisico, diciamo usando la solita costruzione basata su circuito. Quindi non ci può essere alcuna teoria fisica decidibile che possa determinare, data qualsiasi impostazione di ingresso dei circuiti, se il …
1
Turing machine - nastro infinito in una o due direzioni
Ho visto le macchine turing essere rappresentate con nastri infiniti in una e in due direzioni. C'è qualche differenza nella potenza di tali macchine da turismo o sono sostanzialmente equivalenti? Nella mia testa penso che siano equivalenti, dal momento che immagino che ci debba essere un modo per rappresentare il …
6
Una macchina Turing può decidere la lingua di macchine con una lingua vuota?
Sia Esiste una macchina di Turing R che decide (non intendo riconosce) la lingua ?L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L_\emptyset = \{\langle M\rangle \mid M \text{ is a Turing Machine and }L(M)=\emptyset\}.L∅L∅L_\emptyset Sembra che la stessa tecnica usata per mostrare che dovrebbe funzionare …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.