Domande taggate «computability»

Teoria della computabilità nota anche come teoria della ricorsione.

2
Dark Integers: calcoli per scopi generici su router Internet
Greg Egan nella sua narrativa "Dark Integers" (storia di due universi con due differenti matematiche che comunicano attraverso la dimostrazione di teoremi sull'incoerenza nell'aritmetica) afferma che è possibile costruire computer per scopi generici esclusivamente su router Internet esistenti usando solo le sue funzionalità di base di commutazione dei pacchetti (e …
1
Divario tra e "secondo più grande"
Se è l'insieme dei tempi di arresto delle macchine Turing -state su un alfabeto binario con nastro iniziale vuoto, allora .n B B ( n ) = max H T ( n )HT(n)HT(n)HT(n)nnnBB(n)=maxHT(n)BB(n)=maxHT(n)BB(n) = \max HT(n) Cosa possiamo dire del secondo numero più grande in HT(n)HT(n)HT(n) ? Chiama questo BB2(n)BB2(n)BB_2(n) …
3
Prova di indecidibilità non mediante riduzione del problema di arresto
Il modo abituale di dimostrare l'indecidibilità è la riduzione da un problema RE-complete come il problema di arresto, la validità nella logica del primo ordine, la soddisfacibilità delle equazioni di Dihanthant, ecc. È noto che ci sono problemi ricorsivamente enumerabili, ma indecidibili che non sono RE-completi, ma si tratta di …
3
Qualche programma può essere implementato meccanicamente?
È possibile costruire un'implementazione meccanica a scopo unico (non Turing completa) di Microsoft Word? È possibile implementare cose come iteratori, funzioni di primo ordine, l'intera gamma di tecniche di programmazione? Gli ingranaggi e altre parti meccaniche potrebbero rappresentare strutture di dati o persino oggetti di programma? A un certo punto …
1
Comprimere informazioni sul problema di arresto per le macchine Oracle Turing
Il problema dell'arresto è noto per essere incontestabile. Tuttavia, è possibile "comprimere" in modo esponenziale le informazioni sul problema di arresto, in modo che la decompressione sia calcolabile. Più precisamente, è possibile calcolare da una descrizione di Macchine di Turing e un consiglio -bit indica la risposta al problema di …
2
In che modo esattamente il calcolo lambda cattura la nozione intuitiva di calcolabilità?
Ho cercato di avvolgere la mia testa attorno al cosa, perché e come di -calculus ma non sono in grado di fare i conti con "perché funziona"?λλ\lambda "Intuitivamente" ottengo il modello di calcolabilità di Turing Machines (TM). Ma questa -strazione mi lascia confuso.λλ\lambda Supponiamo che le TM non esistano, quindi …
2
Ridurre le domande di soglia alle domande di finitezza
Di solito è più semplice ragionare sul calcolo in cui la limitazione è la finezza del calcolo piuttosto che una soglia come "calcolabile in termini di tempo polinomiale". Nella teoria dei linguaggi formali per esempio, piuttosto di usare ∃n.xn+1=xn∃n.xn+1=xn\exists n. x^{n+1} = x^n per caratterizzare il monoïd aperiodico, è più …
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.