Domande taggate «computability»

Domande relative alla teoria della calcolabilità, alias teoria della ricorsione

5
Che cos'è esattamente il calcolo?
So cos'è il calcolo in un certo senso (è la cosa che fanno i computer), ma vorrei una definizione più rigorosa. Dictionary.comLe definizioni di calcolo, elaborazione, calcolo e calcolo sono circolari, quindi non aiuta. Wikipediadefinisce il calcolo come "qualsiasi tipo di calcolo che segue un modello ben definito". Definisce il …
1
Rapporto di problemi decidibili
Considera i problemi di decisione dichiarati in un linguaggio formale "ragionevole". Diciamo formule nell'aritmetica di Peano di ordine superiore con una variabile libera come cornice di riferimento, ma sono ugualmente interessato ad altri modelli di calcolo: equazioni diottantine, problemi di parole derivanti dalla riscrittura delle regole usando le macchine di …
5
È possibile risolvere il problema di arresto se si dispone di un input vincolato o prevedibile?
Il problema dell'arresto non può essere risolto nel caso generale. È possibile elaborare regole definite che limitano gli input consentiti e il problema di arresto può essere risolto per quel caso speciale? Ad esempio, sembra probabile che un linguaggio che non consente i loop, per esempio, sarebbe molto facile dire …
1
Una funzione calcolabile può convergere in un numero non calcolabile?
Esiste una funzione calcolabile f: N → Qf:N→Qf:\mathbb{N}\rightarrow \mathbb{Q} tale che: Per tutte t ∈ N : 0 ≤ f( t ) &lt; Xt∈N:0≤f(t)&lt;Xt\in\mathbb{N}: 0\le f(t) < X limt → ∞f(t)=Xlimt→∞f(t)=X\lim\limits_{t\rightarrow\infty} f(t) = X Dove è un numero reale indiscutibile.XXX L'unico riferimento a questa domanda che ho trovato è stata …
1
Espressioni regolari con riferimenti indietro sull'alfabeto unario
Ambientazione: espressioni regolari con riferimenti secondari lingua unaria (alfabeto a 1 simbolo) È il seguente problema decidibile in questa impostazione: Data un'espressione regolare con riferimenti secondari, definisce una lingua regolare? Ad esempio, (aa+)\1definisce una lingua normale, mentre (aa+)\1+non lo fa. Possiamo decidere quale è il caso? Per concretezza, "espressioni regolari …
2
In che senso il set di Mandelbrot è "calcolabile"?
Il set di Mandelbrot è una bellissima creatura in matematica. Ci sono molte belle immagini di questo set create con alta precisione, quindi ovviamente questo set è "calcolabile" in un certo senso. Tuttavia, ciò che mi preoccupa è il fatto che non è neppure enumerabile in modo ricorsivo, semplicemente perché …
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.