Domande taggate «turing-machines»

La macchina di Turing è un modello fondamentale di calcolo, specialmente nel lavoro teorico.

5
Ragioni storiche per l'adozione di Turing Machine come modello primario di calcolo.
Comprendo che il modello di Turing è diventato lo "standard" nel descrivere il calcolo. Sono interessato a sapere perché questo è il caso, ovvero perché il modello TM è diventato più ampiamente utilizzato rispetto ad altri modelli teoricamente equivalenti (per quanto ne sappia), ad esempio la recursione μ di Kleene …
10
I computer reali hanno solo un numero finito di stati, quindi qual è la rilevanza delle macchine di Turing rispetto ai computer reali?
I computer reali hanno una memoria limitata e solo un numero limitato di stati. Quindi sono essenzialmente automi finiti. Perché gli informatici teorici usano le macchine di Turing (e altri modelli equivalenti) per studiare i computer? Qual è lo scopo di studiare questi modelli molto più forti rispetto ai computer …
2
Quali funzioni non può calcolare System F?
In questo articolo di Wikipedia sulla completezza di Turing si afferma che: Il calcolo lambda non tipizzato è Turing completo, ma molti calcoli lambda tipizzati, incluso il Sistema F, non lo sono. Il valore dei sistemi tipizzati si basa sulla loro capacità di rappresentare i programmi per computer più tipici …
1
Funzioni non calcolabili in modo efficiente ma apprendibili
Sappiamo che (vedi, ad esempio, Teoremi 1 e 3 di [1]), approssimativamente parlando, in condizioni adeguate, le funzioni che possono essere calcolate in modo efficiente dalla macchina di Turing in tempo polinomiale ("calcolabile in modo efficiente") possono essere espresse da reti neurali polinomiali con dimensioni ragionevoli, e quindi può essere …
1
Esiste un ragionevole sistema di prova automatizzato per i teoremi di TCS?
Supponiamo che volessi formalizzare la prova di Turing sul problema dell'arresto in modo che una macchina potesse controllarla. Alcuni dei noti sistemi di dimostrazione di teoremi automatizzati includono Mizar, Coq e HOL4. Ho scaricato e sperimentato Coq, ma non ha una libreria per macchine Turing. Ho pensato di codificarne uno …
6
Massima potenza computazionale di un'implementazione C.
Se seguiamo il libro (o qualsiasi altra versione della specifica del linguaggio, se preferisci), quanta potenza computazionale può avere un'implementazione C? Si noti che "implementazione C" ha un significato tecnico: è un'istanza particolare della specifica del linguaggio di programmazione C in cui è documentato il comportamento definito dall'implementazione. L'implementazione in …
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.