Domande taggate «computability»

Teoria della computabilità nota anche come teoria della ricorsione.

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 …
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 …
4
Esiste un modello di calcolo non completo di Turing il cui problema di arresto è indecidibile?
Non riesco a pensare a un tale modello, forse a qualche forma di calcolo lambda tipizzato? qualche automa cellulare elementare? Ciò confuterebbe quasi il "Principio dell'equivalenza computazionale" di Wolfram: Quasi tutti i processi che non sono ovviamente semplici possono essere visti come calcoli di raffinatezza equivalente
2
In che misura un algoritmo può prevedere la complessità temporale di un programma di input arbitrario?
Il problema di Halting afferma che è impossibile scrivere un programma in grado di determinare se un altro programma si arresta, per tutti i possibili programmi di input . Tuttavia, posso sicuramente scrivere un programma in grado di calcolare il tempo di esecuzione di un programma simile a: for(i=0; i<N; …
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.