Domande taggate «computability»

Teoria della computabilità nota anche come teoria della ricorsione.

3
Durezza computazionale di programmi per computer "reali"
Ho sentito spesso dire che non è possibile scrivere un programma per rilevare bug in un browser Web, elaboratore di testi o sistema operativo, a causa del teorema di Rice: qualsiasi proprietà semantica per un linguaggio completo di Turing è indecidibile. Tuttavia, non sono sicuro fino a che punto questo …
1
La complessità di Kolmogorov delle tabelle di verità del problema dell'arresto è conosciuta asintoticamente?
Sia HALTnHALTnHALT_n la stringa di lunghezza 2n2n2^n corrispondente alla tabella di verità del problema di arresto per input di lunghezza nnn . Se la sequenza delle complessità di Kolmogorov K(HALTn)K(HALTn)K(HALT_n) fosse O(1)O(1)O(1) , allora una delle stringhe di consigli verrebbe utilizzata all'infinito spesso e una TM con quella stringa codificata …
3
Definizione di funzioni ricorsive primitive su tipi di dati generali
Le funzioni ricorsive primitive sono definite sui numeri naturali. Tuttavia, sembra che il concetto debba generalizzare ad altri tipi di dati, consentendo di parlare di funzioni ricorsive primitive che mappano elenchi su alberi binari, per esempio. Per analogia, le funzioni ricorsive parziali rispetto ai numeri naturali si generalizzano piacevolmente a …
3
La classe di funzionali di ricorsione primitiva è equivalente alla classe di funzioni che Fetus dimostra di terminare?
Feto, se non ne hai sentito parlare, può essere letto qui . Utilizza un sistema di "matrici di chiamata" e "grafici di chiamata" per trovare tutti i "comportamenti ricorsivi" delle chiamate ricorsive in una funzione. Mostrare che una funzione termina mostra che tutti i comportamenti ricorsivi delle chiamate ricorsive fatte …
2
La meta-indecidibilità è possibile?
Ci sono problemi che sono decidibili, alcuni sono indecidibili, c'è semidecidibilità, ecc. In questo caso mi chiedo se un problema possa essere meta-indecidibile. Questo significa (almeno nella mia testa) che non possiamo dire se è decidibile o no. Forse è noto che la decidibilità è indecidibile (tutto è meta-indecidibile) e …
2
Risultati di complessità per le funzioni ricorsive elementari inferiori?
Incuriosito dall'interessante domanda di Chris Pressey sulle funzioni elementari ricorsive , stavo esplorando di più e non riuscivo a trovare una risposta a questa domanda sul web. Le funzioni ricorsive elementari corrispondono bene alla gerarchia esponenziale, .DTIME(2n)∪DTIME(22n)∪⋯DTIME(2n)∪DTIME(22n)∪⋯\text{DTIME}(2^n) \cup \text{DTIME}(2^{2^n}) \cup \cdots Sembra chiaro dalla definizione che i problemi di decisione …
3
Decidibilità dei numeri trascendentali
Ho una domanda, la cui risposta è probabilmente ben nota, ma non riesco a trovare nulla di significativo dopo un po 'di ricerche, quindi apprezzerei un po' di aiuto. La mia domanda è se è noto che decidere se un numero è trascendentale è indecidibile. Forse, uno assume come input, …
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.